Knowledge Center
Knowledge Center ➜ Entities

Silicon Forest Research inc.

Synthesize Verilog testbenches from high-level specifications


Their inFact Intelligent Compiler (iComp) compiles a C++ specification that describes a design’s behavior, and synthesizes executable sequence generators that adaptively construct sequences of transactions during simulation. The run-time environment, iSync, manages the interaction between one or more sequence generators during simulation. Lighthouse also offers iGen, a library of synthesized engines for standard interfaces, and iSpec, a utility for building custom interfaces.