Verification and analysis of system designs with functional and performance constraints
Year: 2005
Type: article
Authors: Xi Chen, Harry Hsieh
Institution: University of California, Riverside
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2402056577
