Example: stock market
Search results with tag "An academic industrial strength verification tool"
ABC: An Academic Industrial-Strength Verification Tool
people.eecs.berkeley.eduABC: An Academic Industrial-Strength Verification Tool Robert Brayton Alan Mishchenko EECS Department, University of California, Berkeley, CA 94720, USA {brayton, alanmi}@eecs.berkeley.edu Abstract. ABC is a public-domain system for logic synthesis and formal verification