June 3-6, 2012. DAC 2012 is the Design Automation Conference, and it’s apparently the premier event for the design of electronic circuits and systems, not to mention EDA and silicon solutions. DAC featured a wide array of technical presentations, as well as encounters with the leading electronics design suppliers. A keynoter made a case for getting more formal design techniques. “Today formal verification is stuck on the side of the design process as an optional extra to be run by a specialist, rather than something embedded deeply in the design process. Without this we are stuck with constrained random and burning computer and verification engineer cycles”. Absolutely NOT what you want to get stuck with, concurred well-informed members of the audience, who were horrified at the idea of having to deal with a burning computer…
