K. Claessen and G. Pace, An Embedded Language Framework for Hardware Compilation, in Designing Correct Circuits 2002 (DCC 2002), Grenoble, France, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Computer-Aided Verification: How to Trust a Machine with Your Life - Pace (2003) Self-citation (Pace) (Correct)
No context found.
K. Claessen and G. Pace, An Embedded Language Framework for Hardware Compilation, in Designing Correct Circuits 2002 (DCC 2002), Grenoble, France, 2002.
Verifying Hardware Compilers - Pace, Claessen (2005) Self-citation (Claessen Pace) (Correct)
No context found.
Koen Claessen and Gordon J. Pace. An embedded language framework for hardware compilation. In Designing Correct Circuits '02, Grenoble, France, 2002.
Safety Property Verification of Cyclic Circuits - Claessen (2002) Self-citation (Claessen) (Correct)
....circuit transformation that performs the translation described in Section 5. The analysis can then be performed by any built in veri cation method using classical semantics, such as the ones described in Section 3. We have since extensively used the analysis in our hardware compilation framework [4]. Limitations and Future Work. One limitation of the proposed method is that it does not work when extending the ternary domain with a fourth element, representing a short circuit, i.e. a point in the circuit driven by both 0 and 1. As far as we know, computing constructiveness of such ....
K. Claessen and G. Pace. An embedded language framework for hardware compilation. In Designing Correct Circuits, 2002.
An Embedded Language Approach to Teaching Hardware Compilation - Claessen, Pace Self-citation (Claessen Pace) (Correct)
.... can be compiled into hardware leads to the natural question Can one have a framework in which di erent parts of the circuits can be written in di erent languages in a straightforward, yet safe manner This session closed the course by presenting our then ongoing research into this problem [4]. Everyday, the students had to solve a number of problems in circuit design. The problems depended on the topic covered during the day, but one of the tasks, to design a hardware stack, was repeated for each of the di erent design techniques presented, so that students could compare the ....
Koen Claessen and Gordon Pace. An embedded language framework for hardware compilation. In DCC'02, ETAPS, Grenoble, France, 2002.
An Embedded Language Approach to Teaching Hardware Compilation - Claessen, Pace (2002) Self-citation (Claessen Pace) (Correct)
.... can be compiled into hardware leads to the natural question Can one have a framework in which di#erent parts of the circuits can be written in di#erent languages in a straightforward, yet safe manner This session closed the course by presenting our then ongoing research into this problem [4]. Everyday, the students had to solve a number of problems in circuit design. The problems depended on the topic covered during the day, but one of the tasks, to design a hardware stack, was repeated for each of the di#erent design techniques presented, so that students could compare the ....
Koen Claessen and Gordon Pace. An embedded language framework for hardware compilation. In DCC'02, ETAPS, Grenoble, France, 2002.
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