A design flow based on modular refinement

A design flow based on modular refinement

We propose a practical methodology based on modular refinement to design complex systems. The methodology relies on modules with latency-insensitive interfaces so that the refinements can change the timing contract of a module without affecting the overall functional correctness of the system. Such...

Full description

Bibliographic Details
Main Authors: Dave, Nirav H. (Contributor), Ng, Man Cheuk (Contributor), Pellauer, Michael (Contributor), Mithal, Arvind (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers, 2012-09-17T18:41:49Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items