Work

High level synthesis based on formal methods

Year: 2002

Type: conference-paper

Source: EUROMICRO Conference

DOI: 10.1109/eurmic.1994.390403

Authors: W. Grass, M. Mutz, W.-D. Tiedemann

Institution: University of Passau

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2099136913

FWCI: 1.204

Cites: 17

Cited by: 16

Related to: 10