A production based system for formal verification of digital signal processing architectures

Author(s):  
K.M. Elleithy ◽  
M.A. Aref
1994 ◽  
Author(s):  
Shirish P. Kshirsagar ◽  
David A. Hartley ◽  
David M. Harvey ◽  
Clifford A. Hobson

Sign in / Sign up

Export Citation Format

Share Document