Work

Analog layer extensions for analog/mixed-signal assertion languages

Year: 2013

Type: conference-paper

Source: IFIP/IEEE International Conference on Very Large Scale Integration

DOI: 10.1109/vlsi-soc.2013.6673252

Authors: Dogan Ulus, Alper Sen, Faik Baskaya

Institution: Boğaziçi University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Semiconductor Research Corporation

OpenAlex ID: W2007207109

FWCI: 0.21

Cites: 14

Cited by: 1

Related to: 10