Formal specification and verification of microprocessor systems
Integration, the VLSI Journal
The Omega test: a fast and practical integer programming algorithm for dependence analysis
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Binary decision diagrams and beyond: enabling technologies for formal verification
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design
The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Low-power data transfer and storage exploration for H.263 video decoder system
IEEE Journal on Selected Areas in Communications
Effective Co-Verification of IEEE 802.11a MAC/PHY Combining Emulation and Simulation Technology
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Automatic functional verification of memory oriented global source code transformations
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Hi-index | 0.00 |
Multimedia application design exploration should begin at the system level, to meet low-power and minimum-area requirements. Existing validation techniques mainly concentrate on lower abstraction levels. This system-level methodology combines formal verification of loop-oriented transformations with correctness verification of arithmetic constructs and related control flows. A videoconferencing-decoder example illustrates the methodology's efficiency.