Sciweavers

Share
ICCAD
2002
IEEE

High capacity and automatic functional extraction tool for industrial VLSI circuit designs

10 years 8 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV-Extract and is part of a comprehensive Formal Equivalence Verification (FEV) system developed at Intel to verify modern microprocessor designs. FEV-Extract employs a powerful hierarchical analysis procedure, and advanced and generic algorithms for automatic recognition of logical primitives, to cope with variety of circuit design styles and their complexity. Logic equations are then extracted to generate a behavioral RTL model described in industrial standard HDL languages, to be used in the formal equivalence verification, logic simulation, synthesis and testability flows. Categories and Subject Descriptors D.3 [VERIFICATION, MODELING AND SIMULATION]: Formal verification techniques. Switch, logic and high-level simulation, design validation, HW/SW co-simulation, combinational and sequential equivalence chec...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2002
Where ICCAD
Authors Sasha Novakovsky, Shy Shyman, Ziyad Hanna
Comments (0)
books