Digital Verification Engineer

Meet Arago and the Aragonians

Arago is an AI and computer hardware company whose mission is to drive the course of history forward. We do so by accelerating breakthroughs at the intersection of AI and semiconductors.

Founded in 2024 by AI researchers and physicists with deep expertise in photonics, electronics, software, mathematics, and machine learning, Arago brings together a lean team of engineers and scientists from the world’s top companies and research labs.

Composed of nine nationalities and operating from hubs in France, North America, and Israel, we believe in great science and fast achievements. Our work is guided by these core principles:

Arago is backed by executives from Apple, Arm, Nvidia, Microsoft, and Hugging Face, as well as prominent US and European deeptech venture firms and exited founders.

Play a critical role in ensuring the functional integrity, performance, and reliability of next-generation optical chips.

• Bachelor’s, Master’s, or PhD in Electrical Engineering, Computer Engineering, or a related field.

• Proven fluency and hands-on expertise in System Verilog for verification.

• Demonstrated prior experience with the UVM framework and modern verification environments.

• Direct knowledge of PCIe protocols and experience verifying digital logic for high-speed interfaces.

• Practical experience verifying RISC-V CPU designs or equivalent digital processor architectures within an ASIC context.

• Strong analytical and communication skills for customer-driven projects and interdisciplinary teamwork.

• Language:
  English at a proficient level. French is a plus.

• Develop robust verification plans for complex digital and mixed-signal optical chip designs.

• Collaborate closely with architects, designers, and customers to understand logic requirements, translate them into verification strategies, and deliver clear, actionable feedback throughout the development process.

• Perform netlist-level simulations with SDF back-annotation for timing-accurate verification

• Support FPGA/ASIC bring-up and post-silicon validation as needed

• Develop, maintain, and optimize test benches and verification components using advanced System Verilog features, such as constrained random testing, assertions, and transaction-level modeling, to create robust coverage-driven environments.

• Design scalable, reusable UVM-based environments and components (e.g., agents, monitors, scoreboards) for block- and system-level verification. Employ UVM to achieve regression automation, functional coverage closure, and high bug-detection efficiency.

• Develop and execute verification strategies for digital blocks implementing or interfacing with PCI Express (PCIe). Apply protocol-checking, compliance validation, error injection, and debug skills for PCIe endpoints and root complex devices. Use protocol analyzers and simulation environments to validate correct implementation across all protocol layers.

• Participate in the verification of RISC-V CPU cores and subsystems. Create test plans targeting processor modules (ALU, decoder, register file, control logic), with reference model comparisons, signature checks, and coverage of edge-case scenarios. Leverage formal verification and compliance suites for thorough design validation.

• Plan and perform end-to-end ASIC verification, from block-level test benches to full-chip integration. Execute functional and regression tests, formal verification, and coverage analysis. Debug and resolve design issues, ensuring pre-silicon reliability before manufacturing. Engage in design reviews and system-level protocol validation with cross-functional teams.

• Proactive in anticipating and mitigating design risks, including the assessment of undetected flaws via coverage-driven and formal verification.

• Proven ability to deliver in fast-paced, collaborative startup environments.

• Ownership mindset, attention to detail, and…