Primary literature
Books
- Advanced semiconductor memories: architectures, designs, and applications
Ashok K. Sharma
2002 (Publisher: John Wiley & Sons) - MOSFET models for VLSI circuit simulation: theory and practice
Narain D. Arora
2012 (Publisher: Springer) - Brandon’s Semiconductor Simulator
Brandon Li
Web link
Articles
Formal Models of Integrated Circuits for Transistor Level Electrical Verification
Oussama Oulkaid
PhD thesis
2025 (Université Claude Beranrd Lyon 1)
Web linkFormal approach to hardware analysis
Niklas Gerard Traub
PhD thesis
1986 (Publisher: The University of Edinburgh)
Web linkLogical analysis of systems comprising feedback loops
René Thomas
Journal of theoretical biology, volume 73, number 4, pages 631–656
1978 (Publisher: Elsevier)A 30 year retrospective on Dennard’s MOSFET scaling paper
Mark Bohr
IEEE Solid-State Circuits Society Newsletter, volume 12, number 1, pages 11–13
2007 (Publisher: IEEE)
PDFThermodynamics of information processing in small systems
Takahiro Sagawa
Progress of theoretical physics, volume 127, number 1, pages 1–56
2012 (Publisher: Oxford University Press)
Web linkMOSFET: Basics, characteristics, and characterization
Samares Kar
High Permittivity Gate Dielectric Materials, pages 47–152
2013 (Publisher: Springer)
PDFThermodynamics of information
Juan M.R. Parrondo, Jordan M. Horowitz, and Takahiro Sagawa
Nature physics, volume 11, number 2, pages 131–139
2015 (Publisher: Nature)The physics of forgetting: Thermodynamics of information at IBM 1959–1982
Aaron Sidney Wright
Perspectives on Science, volume 24, number 1, pages 112–141
2016 (Publisher: MIT Press)
PDFEntropy: From thermodynamics to information processing
Jordão Natal, Ivonete Ávila, Victor Batista Tsukahara, Marcelo Pinheiro, and Carlos Dias Maciel
Entropy, volume 23, number 10, pages 1340
2021 (Publisher: MDPI)
Web linkA charge domain P-8T SRAM compute-in-memory with low-cost DAC/ADC operation for 4-bit input processing
Joonhyung Kim, Kyeongho Lee, and Jongsun Park
Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design, pages 1–6
2022 (Publisher: ACM)
PDFA Composable Glitch-Aware Delay Model
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, and Thomas Nowak
Proceedings of the 2021 Great Lakes Symposium on VLSI, pages 147–154
2021 (Publisher: ACM)
Web linkA Simplified Arm Processor for VLSI Education
Noah Boorstin, Veronica Cortes, Kaveh Pezeshki, David Harris, and Shuojin Hang
Proceedings of the 2020 on Great Lakes Symposium on VLSI, pages 555–559
2020 (Publisher: ACM)
Web linkTop-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan, Oguz Atli, Onur Kibar, Mohammed Zackriya, Larry Pileggi, and Ken Mai
The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, pages 1–10
2021 (Publisher: ACM)
Web linkGlobal Is the New Local: FPGA Architecture at 5nm and Beyond
Stefan Nikolić, Francky Catthoor, Zsolt Tőkei, and Paolo Ienne
The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, pages 34–44
2021 (Publisher: ACM)
Web linkEvolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. and Madhav Rao
Proceedings of the Great Lakes Symposium on VLSI 2022, pages 189–192
2022 (Publisher: ACM)
Web linkSecuring On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta, Vedika J. Kulkarni, John Jose, and Sukumar Nandi
Proceedings of the Great Lakes Symposium on VLSI 2022, pages 411–416
2022 (Publisher: ACM)
Web linkWatermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus, Bashir Mohammad Sabquat Bahar Talukder, and Md Tauhidur Rahman
Proceedings of the Great Lakes Symposium on VLSI 2022, pages 21–26
2022 (Publisher: ACM)
Web linkAb-initio Quantum Transport with the GW Approximation, 42,240 Atoms, and Sustained Exascale Performance
Nicolas Vetsch, Alexander Maeder, Vincent Maillou, Anders Winka, Jiang Cao, Grzegorz Kwasniewski, Leonard Deuschle, Torsten Hoefler, Alexandros Nikolaos Ziogas, and Mathieu Luisier
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pages 1–13
2025 (Publisher: ACM)
Web linkUsing Many Small 1T1C Memory Arrays in a Large and Dense Multicore Processor
Gunnar Carlstedt and Mats Rimborg
Proceedings of the 2022 International Symposium on Memory Systems, pages 1–12
2022 (Publisher: ACM)
Web linkLeveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar, Florence Azaïs, Marie-Lise Flottes, and Samuel Pagliarini
Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security, pages 5–13
2022 (Publisher: ACM)
Web linkOn the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik, Heiko Lohrke, Jean-Pierre Seifert, and Christian Boit
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, pages 1661–1674
2017 (Publisher: ACM)
Web linkTowards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi, Alexandre Levisse, Marina Zapater, Mohamed M. Sabry Aly, and David Atienza
Proceedings of the 2020 on Great Lakes Symposium on VLSI, pages 513–518
2020 (Publisher: ACM)
Web linkSoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan, Lejla Batina, Yuval Yarom, and Patrick Schaumont
Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security, pages 756–770
2022 (Publisher: ACM)
Web linkGeometry of synthesis iv: compiling affine recursion into static hardware
Dan R. Ghica, Alex Smith, and Satnam Singh
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, pages 221–233
2011 (Publisher: ACM)
Web linkSynthesis of mealy machines using derivatives
Helle Hvid Hansen, David Costa, and Jan Rutten
Electronic Notes in Theoretical Computer Science, volume 164, number 1, pages 27–45
2006 (Publisher: Elsevier)
Web link