Work

Automatic generation of simulation monitors from quantitative constraint formula [system-level verification]

Year: 2003

Type: conference-paper

Source: Design, Automation, and Test in Europe

DOI: 10.1109/date.2003.1253787

Authors: Xi Chen, H. Hsieh, F. Balarin, Y. Watanabe

Institutions: University of California, Riverside, Cadence Design Systems (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2110852937

FWCI: 0.722

Cites: 4

Cited by: 4

Related to: 10