Work

Towards amalgamating high-level synthesis and proof systems

Year: 1994

Type: article

Source: Microprocessing and Microprogramming

DOI: 10.1016/0165-6074(94)90067-1

Author: Mats Larsson

Institution: Linköping University

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2091445708

FWCI:

Cites: 14

Cited by:

Related to: 10