Work

Quantitative evaluation of formal based synthesis in ASIC design

Year: 1995

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-59047-1_55

Authors: G. Bezzi, M. Bombana, P. Cavalloro, S. Conigliaro, G. Zaza

Institution: Italtel (Italy)

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1771962873

FWCI: 0.5

Cites: 9

Cited by: 3

Related to: 10