Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Formal Property Verification
Publications
Design and Verification of SEE-Tolerant ASICs at CERN: Methodologies and Challenges
Adithya Pulli
,
Matteo Lupi
,
Stefano Esposito
,
Simone Scarfi
,
Szymon Kulis
and
Xavier Llopart Cudie
EasyChair Preprint 15407
Copyright © 2012-2024 easychair.org. All rights reserved.