Knowledge Center ➜ Entities

Lighthouse Design Automation, 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.

  • HQ: Lake Oswego, OR, USA
  • Known for: Functional verification, intelligent testbench
  • Other names: Silicon Forest Research
  • Type: Company