Sign in

MDG Tools for the Verification of RTL Designs.

K. D. AnonN. BoulericeEduard CernyFrancisco CorellaMichel LangevinXiaoyu SongSofiène TaharYing XuZijian Zhou
Published in: CAV (1996)
Keyphrases
  • design tools
  • software tools
  • design principles
  • multimedia
  • decision support
  • database
  • information retrieval
  • decision making
  • model checking