Scipediacontent: Scipediacontent moved page Draft Content 159490879 to Dave et al 2010a

2021-02-01T20:42:37Z

Scipediacontent moved page Draft Content 159490879 to Dave et al 2010a

Scipediacontent: Created page with " == Abstract == We propose a practical methodology based on modular refinement to design complex systems. The methodology relies on modules with latency-insensitive interface..."

2021-02-01T20:42:31Z

Created page with " == Abstract == We propose a practical methodology based on modular refinement to design complex systems. The methodology relies on modules with latency-insensitive interface..."

New page

== Abstract ==

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 refinements can exacerbate the unit testing problem for modules whose specifications admit a set of output behaviors for the same input (non-determinism), or modules whose input behavior may be affected by past outputs (feedback). We avoid the difficult problem of generating appropriate unit tests for such modules by using system-level tests as unit tests to verify the correctness of refined modules. We illustrate our methodology by showing how one might develop a microprocessor with an in-order pipeline. We then develop a superscalar pipeline using the in-order pipeline as the starting point. Our methodology leverages the effort of design exploration to reduce the effort of specifying interface contracts and unit testing.

== Original document ==

The different versions of the original document can be found in:

* [http://csg.lcs.mit.edu/pubs/bluespec/DesignFlowBased.pdf http://csg.lcs.mit.edu/pubs/bluespec/DesignFlowBased.pdf]

* [http://csg.csail.mit.edu/pubs/bluespec/DesignFlowBased.pdf http://csg.csail.mit.edu/pubs/bluespec/DesignFlowBased.pdf],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005558626 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005558626],
: [https://dblp.uni-trier.de/db/conf/memocode/memocode2010.html#DaveNPA10 https://dblp.uni-trier.de/db/conf/memocode/memocode2010.html#DaveNPA10],
: [http://dspace.mit.edu/handle/1721.1/73018 http://dspace.mit.edu/handle/1721.1/73018],
: [https://academic.microsoft.com/#/detail/2089605910 https://academic.microsoft.com/#/detail/2089605910]

* [http://xplorestaging.ieee.org/ielx5/5550962/5558619/05558626.pdf?arnumber=5558626 http://xplorestaging.ieee.org/ielx5/5550962/5558619/05558626.pdf?arnumber=5558626],
: [http://dx.doi.org/10.1109/memcod.2010.5558626 http://dx.doi.org/10.1109/memcod.2010.5558626]

← Older revision	Revision as of 20:42, 1 February 2021
(No difference)

Dave et al 2010a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 159490879 to Dave et al 2010a

Scipediacontent: Created page with " == Abstract == We propose a practical methodology based on modular refinement to design complex systems. The methodology relies on modules with latency-insensitive interface..."