SureFire Updates Code Coverage Analysis Tool

Electronic News, Feb 15, 1999 by Ann Steffora

SureFire Verification released the latest version of its SureCov code coverage analysis software for integrated circuit and silicon intellectual property design. SureCov now offers expanded functionality including, Finite State Machine (FSM) path query, event coverage and partial design instrumentation. It is available in volume shipments for the Microsoft Windows NT platform, Sun OS and Solaris, and HP workstations running HP-UX.

With the new version, the designer, through the graphical user interface, can select states in the path of interest on the state diagram, the tool then produces the state diagram after automatically recognizing and extracting the FSM for the RTL source. It does a real- time query of the coverage database as the designer is selecting the path.