Hardware Verification using ANSI−C Programs as a Reference

Hardware Verification using ANSI−C Programs as a Reference

Show other versions (1)

Bibliographic Details
Main Authors:	Clarke, E, Kroening, D
Format:	Conference item
Published:	IEEE 2003

Hardware verification using ANSI-C programs as a reference

Hardware verification using ANSI-C programs as a reference by Clarke, E, Kroening, D

Published 2003

Conference item