Browsing Engineering (Faculty of) by Subject "formal design verification"
Now showing items 1-1 of 1
-
Bluenose II: Towards Faster Design and Verification of Pipelined Circuits
(University of Waterloo, 2008-08-29)The huge demand for electronic devices has driven semiconductor companies to create better products in terms of area, speed, power etc. and to deliver them to market faster. Delay to market can result in lost opportunities. ...