Work

Automatic trace analysis for logic of constraints

Year: 2004

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1109/dac.2003.1219045

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: W4241175348

FWCI: 1.068

Cites: 9

Cited by: 13

Related to: 10