Interconnect Verification

Interconnect Verification is a formal method within the domain of Network-on-Chip design that systematically ensures the correctness, reliability, and functional integrity of on-chip communication architectures by validating their structural and behavioral properties against specified requirements.

Publications

998

Citations

100

Authors

Institutions

Publications per year

2017–2026

Parents

Network-on-chip Design

Publications

Design, Synthesis, and Test of Networks on Chips

Partha Pratim Pande, Cristian Grecu, A. Ivanov et al. · IEEE Design & Test of Computers · 2005 · 175 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17

Bringing communication networks on a chip: test and verification implications

Bart Vermeulen, J. Dielissen, Kees Goossens et al. · IEEE Communications Magazine · 2003 · 124 citations

Engineering, Computer Engineering, Electrical Engineering +16

FLUX-1 RSFQ microprocessor: Physical design and test results

P. Bunyk, M. Leung, J.W. Spargo et al. · IEEE Transactions on Applied Superconductivity · 2003 · 60 citations

Engineering, Computer Engineering, Electrical Engineering +17

Verifying IP-core based system-on-chip designs

Pankaj Chauhan, E. M. Clarke, Yao Lu et al. · 2003 · 53 citations

Engineering, Computer Engineering, Computer Science +15

Application driven network-on-chip architecture exploration & refinement for a complex SoC

Jean-Jacques Lecler, Gilles Baillieu · Design Automation for Embedded Systems · 2011 · 52 citations · Full text

Engineering, Computer Engineering, Computer Science +17

1–5 of 32

Authors

100

LP
Laurence Pierre
Techniques of Informatics and Microelectronics for Integrated Systems Architecture, France
3 publications · 54 citations
3
h-index
AS
Amr S. Helmy
University of Toronto, Canada
3 publications · 54 citations
3
h-index
JS
Julien Schmaltz
Radboud University Nijmegen, Netherlands
3 publications · 71 citations
3
h-index
AJ
Axel Jantsch
KTH Royal Institute of Technology, Sweden
2 publications · 32 citations
2
h-index
SF
Steve Furber
University of Manchester, United Kingdom
2 publications · 62 citations
2
h-index

1–5 of 100

Institutions

1–8 of 53

Venues

Microprocessors and Microsystems
MICPRO · 2 publications · 36 citations
2
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2 publications · 34 citations
2
h-index
Applied Physics Letters
1 publications · 39 citations
1
h-index
IEEE Communications Magazine
1 publications · 124 citations
1
h-index
IEEE Transactions on Applied Superconductivity
1 publications · 60 citations
1
h-index

1–5