Publications

Publications

< retour aux publications

Validation of the Numeric_Bit package using the NQTHM theorem prover

Auteur(s) : D. Borrione, H. Bouamama, R. Suescun

Doc. Source: 3rd Asia Pacific Conference on Hardware Description Languages (APCHDL'96)