Work

Conclusively verifying clock-domain crossings in very large hardware designs

Year: 2016

Type: conference-paper

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

DOI: 10.1109/vlsi-soc.2016.7753555

Authors: Guillaume Plassan, Hans-Jorg Peter, Katell Morin-Allory, Fahim Rahim, Shaker Sarwary, Dominique Borrione

Institutions: Synopsys (United States), Centre National de la Recherche Scientifique, Techniques of Informatics and Microelectronics for Integrated Systems Architecture, Université Grenoble Alpes

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Centers for Disease Control and Prevention

OpenAlex ID: W2554936968

FWCI: 0.555

Cites: 10

Cited by: 4

Related to: 10