Yazar
k g w goossens
2 cilt bulundu.
Cilt sonuçları
The formalisation of a hardware descriptionlanguage in a proof system
K. G. W. Goossens · LFCS, Dept. of Computer Science, University of Edinburgh
15 sayfa · 1993
Computer hardware description languages
Structure and behaviour in hardware verification
K. G. W. Goossens · LFCS, Dept. of Computer Science, University of Edinburgh
20 sayfa · 1993
Verification / Integrated circuits / Computer hardware description languages