Similar Papers

Paper Title
Journal
Date
Author
A Cube-based Approach to Reachability Analysis
-
01 Jan 2008
Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams
-
27 Sep 2019
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Randal E Bryant
Journal of Automated Reasoning | VOL. 64
Randal E BryantRandal E Bryant
21 Jul 2020
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Randal E Bryant
-
Randal E BryantRandal E Bryant
01 Jan 2018
View more papers

More From: IEEE Transactions on Circuits and Systems I: Regular Papers

Paper Title
Journal
Date
Author
Guest Editorial Special Issue on Emerging Hardware Security and Trust Technologies—AsianHOST 2023
Xinmiao Zhang ... Yang Li
IEEE Transactions on Circuits and Systems I: Regular Papers | VOL. 72
Xinmiao Zhang, et. al.Xinmiao Zhang ... Yang Li
01 Feb 2025
IEEE Transactions on Circuits and Systems--I: Regular Papers Information for Authors
-
IEEE Transactions on Circuits and Systems I: Regular Papers | VOL. 72
--
01 Feb 2025
Side-Channel Analysis of Integrate-and-Fire Neurons Within Spiking Neural Networks
Matthias Probst ... Georg Sigl
IEEE Transactions on Circuits and Systems I: Regular Papers | VOL. 72
Matthias Probst, et. al.Matthias Probst ... Georg Sigl
01 Feb 2025
A 12 ps Precision Two-Step Time-to-Digital Converter Consuming 434 μW at 1 MS/s in 180 nm CMOS With a Dual-Slope Time Amplifier
Xinchi Xu ... Xin Lin
IEEE Transactions on Circuits and Systems I: Regular Papers | VOL. 72
Xinchi Xu, et. al.Xinchi Xu ... Xin Lin
01 Feb 2025
View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.