Browsing by author "Angelo, Catia Marcondes"
Now showing items 1-5 of 5
-
Degrees of formality in shallow embedding hardware description languages in HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994) -
Formal Hardware Verification in a Silicon Compilation Environment by Means of Theorem Proving
Angelo, Catia Marcondes (1994-02) -
Formalizing a behavioral specification language for correct transformational design
Angelo, Catia Marcondes; Claesen, Luc (1996) -
Modeling multi-rate DSP specification semantics for formal transformational design in HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994) -
Reasoning about linear systems of Equations on HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994)