Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current-generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symbolically proving the equivalence between a high-level design specification and a MOS transistor-level implementation. Verity applies efficient logic comparison techniques which implicitly exercise the behavior for all possible input patterns. For a given register-transfer level (RTL) system model, which is commonly used in present-day methodologies, Verity validates the transistor implementation with respect to functional simulation and verification performed at the RTL level.
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007