Work

Properties First—Correct-By-Construction RTL Design in System-Level Design Flows

Year: 2019

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2019.2921319

Authors: Tobias Ludwig, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz

Institutions: University of Kaiserslautern, Nordic Semiconductor (Norway)

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Deutsche Forschungsgemeinschaft

Award: G6799201628

OpenAlex ID: W2962014340

FWCI: 1.633

Cites: 25

Cited by: 13

Related to: 10