- TNI-Valiosys provides embedded software development and EDA tools to help engineers in semiconductors and systems companies more effectively model and validate their designs. For designs involving complex SOC bus, memory or peripherals controllers, the imPROVE-HDL formal model checker allows to exhaustively debug specifications and RTL models in complement of simulation. For designs involving full-custom blocks, the TLL abstraction tool abstracts the transistor-level circuits into equivalent gate-level models for faster functional verification. VHDL/Verilog to SystemC2.0 translators are also available.
|
