Bose, B. DDD: A transformation system for digital design derivation. Tech. Rep. 331, Indiana University, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Higher-Level Hardware Synthesis - Sharp (2002) (Correct)
Studies of the Single Pulser in Various Reasoning Systems - Steven Johnson Paul (1994) (7 citations) (Correct)
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1997) (20 citations) (Correct)
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley (1996) (20 citations) (Correct)
Testing the FM9001 Microprocessor - Albin, Brock, Hunt, Jr., Smith (1995) (1 citation) (Correct)
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1996) (20 citations) (Correct)
An Introduction to Behavior Tables - Rath, al. (1993) (4 citations) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) (Correct)
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley, Dybvig (1996) (20 citations) (Correct)
Interaction of Formal Design Systems in the Development.. - Miner, Pullela, Johnson (1994) (5 citations) (Correct)
A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley (1996) (20 citations) (Correct)
An Infrastructure for Profile-Driven Dynamic Recompilation - Burger, Dybvig (1998) (11 citations) (Correct)
Continuations in Hardware-Software Codesign - Tuna, Johnson, Burger (1994) (2 citations) (Correct)
The Scheme Machine - Burger (1994) (3 citations) (Correct)
Register Allocation Using Lazy Saves, Eager Restores, and .. - Burger, Waddell, Dybvig (1995) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
DDD: A System for Mechanized Digital Design Derivation - Johnson, Bose (1997) (11 citations) Self-citation (Bose) (Correct)
DDD-FM9001: Derivation of a Verified Microprocessor - Bose (1994) (13 citations) Self-citation (Bose) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC