GDPA  
FormalCheck  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Institution
  • Observations
  • Classifications
  • Identification

    FormalCheck

    Institution

    Bell Laboratories

    Observations

    tool for verifying the functionality of ASIC and digital IC designs in Verilog or VHDL from Bell Laboratories, based on the COSPAN model checker.

    Classifications

    Development Phases: Verification

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster