SimulationVerilog, SystemVerilog, VHDL, SystemC and mixed-language designs in one simulator. Four-state logic with strength resolution, timing checks and SDF back-annotation, gate-level simulation, and analog/mixed-signal co-simulation with real-number models.
VerificationNative UVM with constrained-random stimulus, sequences, scoreboards and register models. SystemVerilog assertions, functional and code coverage with closure dashboards, lint, CDC and RDC analysis, and a growing library of protocol VIPs including AMBA, USB, PCIe, Ethernet and I2C/SPI.
Formal and equivalenceProperty checking with bounded model checking and k-induction, assume-guarantee decomposition, and logic equivalence checking between RTL and gate-level netlists. Formal engines are under active development.
SynthesisLogic optimisation, technology mapping with drive-strength selection, timing-driven retiming, FSM encoding and arithmetic optimisation. Design-for-test with scan insertion, ATPG and built-in self-test. Liberty-based cell libraries.
Static timing analysisPath-based STA with multi-mode multi-corner analysis, on-chip variation derating, clock reconvergence pessimism removal, crosstalk-aware delay and parasitic back-annotation from SPEF. Slack histograms, path browsers and bottleneck reports.
Physical designFloorplanning, placement and legalisation, clock tree synthesis with tree and mesh options, global and detailed routing with congestion awareness, parasitic extraction, and static and switching power analysis.
Sign-off and tapeoutDesign rule checking and layout-versus-schematic with violation browsers, GDSII and OASIS export, open process design kits (Sky130, GF180) and a hand-off path to established open-source back-end flows. A tapeout readiness checklist tracks sign-off.
FPGAThe same RTL and testbenches targeted at FPGA for prototyping and emulation, with synthesis and bitstream generation in the flow.