Tag: Electronic design automation and methodology


Review of Principles of verifiable RTL design

By Lionel Bening and Harry Foster, Kluwer Academic Publishers, 2000. Using verifiable RTL design, an engineer can add or improve the use of cycle-based simulation, two-state simulation, formal equivalence checking, and model checking in the traditional verification flow. Furthermore, a verifiable RTL coding methodology permits the engineer to achieve greaterRead More