A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
Specification and validation of control-intensive IC's in hopCP
1994
IEEE Transactions on Software Engineering
Control intensive ICs pose a signi cant c hallenge to the users of formal methods in designing hardware. These ICs have t o s u p p o r t a w i d e v ariety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of execution, non-trivial computational requirements, and programmability. I n t h i s p a p e r , w e illustrate the use of formal methods in the design of a control intensive IC called the \Intel
doi:10.1109/32.295890
fatcat:jx2r2i5hkves7fhqysfuub3x2q