Abstract
This paper describes the history of the Verilog hardware description language (HDL), including its influential predecessors and successors. Since its creation in 1984 and first sale in 1985, Verilog has completely revolutionized the design of hardware. Verilog enabled the development and wide acceptance of logic synthesis. For large-scale digital logic design, previous schematic-based techniques have transformed into textual register-transfer level (RTL) descriptions written in Verilog. As of 2018 about 80% of integrated circuit design teams worldwide use Verilog and its compatible descendant SystemVerilog.
- Accellera. 2002a. SystemVerilog 3.0 Accellera’s Extensions to Verilog. Standard. Accellera Organization, Napa, CA, USA. non-archival http://www.eda-twiki.org/sv-ec/3.0_LRM.pdf .Google Scholar
- Accellera. 2002b. VHDL Users Group / VHDL International Users’ Forum (VUG/VIUF) Collected Conference Proceedings. Accellera. Archived at https://web.archive.org/web/20020803031109/http://eda.org/VIUF_proc/ .Google Scholar
- Accellera. 2003. SystemVerilog 3.1, Accellera’s Extensions to Verilog. Standard. Accellera Organization, Napa, CA, USA. non-archival http://www.eda-twiki.org/sv-ec/SystemVerilog_3.1_final.pdf (also at Internet Archive 7 April 2020 14:23:40 ).Google Scholar
- Accellera. 2004a. Property Specification Language Reference Manual Version 1.1. Standard. Accellera Organization, Napa, CA, USA. Archived at https://web.archive.org/web/20040913230716/http://www.eda.org/vfv/docs/PSL-v1.1.pdf .Google Scholar
- Accellera. 2004b. SystemVerilog 3.1a Language Reference Manual, Accellera’s Extensions to Verilog. Standard. Accellera Organization, Napa, CA, USA. Archived at https://web.archive.org/web/20040626122728/http://www.eda.org/sv/SystemVerilog_ 3.1a.pdf .Google Scholar
- Accellera. 2011. Universal Verification Methodology (UVM) 1.0 Class Reference. Standard. Accellera Organization, Napa, CA, USA. non-archival https://www.accellera.org/images/downloads/standards/uvm/UVM_Class_Reference_Manual_1.0. pdf .Google Scholar
- Accellera. 2014. Verilog-AMS Language Reference Manual 2.4.0. Standard. Accellera Systems Initiative, Napa, CA, USA. non-archival https://www.accellera.org/images/downloads/standards/v-ams/VAMS-LRM-2-4.pdf .Google Scholar
- Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, and Yael Zbar. 2002. The ForSpec Temporal Logic: A New Temporal Property-Specification Language. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Grenoble, France, 2002-04-08/2002-04-12) (TACAS ’02). Springer-Verlag, Berlin, Heidelberg, Germany, 296–311.Google ScholarCross Ref
- Ken Arnold and James Gosling. 1998. The Java Programming Language (second ed.). Addison-Wesley, New York, NY, USA.Google Scholar
- Peggy Aycinena. 2005. Phil Moorby - 2005 Kaufman Award. EDA Confidential (8 nov). Archived at https://web.archive.org/ web/20060325053055/http://www.aycinena.com/index2/index3/archive/phil%20moorby.html . Ayciena gives a report on the awards dinner, and includes an interview with Phil Moorby.Google Scholar
- Mike Baird. 1998. IVC/VIUF HDL Conference. OVI & VI. Archived at https://web.archive.org/web/19980202191343/http: //www.hdlcon.org/toppage.html .Google Scholar
- Mike Baird. 1999. The International HDL Conference and Exhibition. HDLCon. Archived at https://web.archive.org/web/ 19990208004605/http://hdlcon.org/ .Google Scholar
- Thomas C. Bartee. 1960. Digital computer fundamentals. McGraw-Hill, New York, NY, USA. The original 1960 edition is a classic early text on computer hardware. At the time, Bartee was at MIT Lincoln Laboratory.Google Scholar
- Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, and Yoav Rodeh. 2001. The Temporal Logic Sugar. In Proceedings of the 13th International Conference on Computer Aided Verification (Paris, France, 2001-07-18/2001-07-22) (CAV ’01). Springer-Verlag, Berlin, Heidelberg, Germany, 363–367.Google ScholarDigital Library
- C. Gordon Bell. 1991. High-Tech Ventures. Addison-Wesley, Reading, MA, USA. Scan available at non-archival https: //gordonbell.azurewebsites.net/CGB%20Files/High-Tech%20Ventures%201991%20c.pdf (also at Internet Archive 31 March 2020 15:17:55 ). Pages 289–299 discuss Gateway Design Automation.Google Scholar
- Nuel D. Belnap, Jr. 1977. A Useful Four-Valued Logic. In Modern Uses of Multiple-Valued Logic, J. Michael Dunn and George Epstein (Eds.). Springer Netherlands, Dordrecht, 5–37. Google ScholarCross Ref
- Michael J. Bending. 1984. Hitest: A Knowledge-Based Test Generation System. IEEE Design Test of Computers 1, 2 (may), 83–92. Google ScholarDigital Library
- Janick Bergeron, Eduard Cerny, Alan Hunter, and Andy Nightingale. 2005. Verification Methodology Manual for SystemVerilog. Springer-Verlag, Berlin, Heidelberg, Germany.Google Scholar
- Neil C. Berglund. 1979. Level-Sensitive Scan Design Tests Chips, Boards, System. Electronics 52, 6 (March), 108–110.Google Scholar
- Dominique Borrione, Robert Piloty, Dwight Hill, Karl J. Lieberherr, and Philip Moorby. 1992. Three Decades of HDLs, Part II: Conlan Through Verilog. IEEE Design & Test of Computers 9, 3 (sep), 54–63. Google ScholarDigital Library
- Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, and Alberto L. Sangiovanni-Vincentelli. 1984. Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Boston, MA, USA.Google Scholar
- Cadence. 2000. TestBuilder. Cadence Design Systems, San Jose, CA, USA. Archived at https://web.archive.org/web/ 20001018010606/http://www.testbuilder.net/ .Google Scholar
- Cadence and Mentor Graphics. 2008. Open Verification Methodology. Cadence and Mentor Graphics (9 Jan.). Archived at https://web.archive.org/web/20080115101515/http://www.ovmworld.org/ .Google Scholar
- Michael Carroll. 1993. VHDL—panacea or hype? IEEE Spectrum 30, 6 (jun), 34–37. Google ScholarDigital Library
- Kai-Hui Chang and Chris Browy. 2012. Improving Gate-Level Simulation Accuracy When Unknowns Exist. In Proceedings of the 49th Annual Design Automation Conference (San Francisco, CA, USA, 2012-06-03/2012-06-07) (DAC ’12). Association for Computing Machinery, New York, NY, USA, 936–940. Google ScholarDigital Library
- CHM. 2015. Computer History Museum Announces its 2016 Fellow Award Honorees. Computer History Museum (17 nov). Archived at https://web.archive.org/web/20200327134657/https://computerhistory.org/press-releases/fellows-2016/ .Google Scholar
- CHM. 2016. Philip Moorby. Computer History Museum. Archived at https://web.archive.org/web/20200331001046/ https://computerhistory.org/profile/philip-moorby/ . Video at https://www.youtube.com/watch?v=pUmCdQVukrg . See earlier version at https://web.archive.org/web/20161003015054/https://www.computerhistory.org/fellowawards/hall/ Philip-Moorby/ . Also see this page about the 2016 Fellow Awards https://web.archive.org/web/20191003110953/https: //computerhistory.org/blog/2016-chm-fellow-awards/ .Google Scholar
- Peter Clarke. 1999. Startup to field next-generation design language. Electronic Engineering Times (1 June). Archived at https://web.archive.org/web/20001211142400/http://www.edtn.com:80/story/tech/OEG19990531S0003-R . An informative article that provides a very good summary of Co-Design and its vision for Superlog. Also mentions Co-Design’s early investors.Google Scholar
- Ronald Collett. 1993. VHDL by TKO. Electronic Engineering Times (4 Jan.), 42. Scan available at https://web.archive.org/ web/20200331183910/https://trilobyte.com/pdf/VHDL_by_TKO_Collett_1993-01-04.pdf .Google Scholar
- John A. Darringer. 1968. A Language for the Description of Digital Computer Processors. In Proceedings of the 5th Annual Design Automation Workshop (Washington, DC, USA, 1968-07-15/1968-07-18) (DAC ’68). Association for Computing Machinery, New York, NY, USA, 15.1–15.18. Google ScholarDigital Library
- Roger Dettmer. 2004. The HILO inheritance. IEE Review 50, 8 (aug), 22–26. Google ScholarCross Ref
- Surrendra Dudani and Eduard Cerny. 2003. Authoring assertion IP using OpenVera assertion language. Design And Reuse (7 Feb.). https://www.design-reuse.com/articles/4835/authoring-assertion-ip-using-openvera-assertion-language.html (also at Internet Archive 8 Sept. 2009 20:33:49 ).Google Scholar
- James R. Duley and Donald L. Dietmeyer. 1968. A Digital System Design Language (DDL). IEEE Trans. Comput. C-17, 9 (sep), 850–861. Google ScholarDigital Library
- EDAC. 2005. Phil Moorby Selected to Receive EDA Industry’s Kaufman Award. The EDA Consortium (10 oct). Archived at https://web.archive.org/web/20200330224958/http://esd-alliance.org/wp-content/uploads/PDFs/PhilKaufmanAward/ 05-10-10_PK_Award_FINAL.pdf . Press release from EDA Consortium.Google Scholar
- Edward B. Eichelberger. 1965. Hazard Detection in Combinational and Sequential Switching Circuits. IBM Journal of Research and Development 9, 2 (March), 90–99. Google ScholarDigital Library
- Edward B. Eichelberger and Thomas W. Williams. 1977. A Logic Design Structure for LSI Testability. In Proceedings of the 14th Design Automation Conference (New Orleans, LA, USA, 1977-06-20/1977-06-22) (DAC ’77 ). IEEE Press, New York, NY, USA, 462–468.Google Scholar
- Limor Fix. 2008. Fifteen Years of Formal Property Verification in Intel. In 25 Years of Model Checking, Orna Grumberg and Helmut Veith (Eds.). Lecture Notes in Computer Science, Vol. 5000. Springer, Berlin, Heidelberg, Germany, 139–144. Google ScholarDigital Library
- Peter L. Flake and Simon J. Davidmann. 2000. Superlog, a Unified Design Language for System-on-Chip. In Proceedings of the 2000 Asia and South Pacific Design Automation Conference (Yokohama, Japan, 2000-01-25/2000-01-28) (ASP-DAC ’00). Association for Computing Machinery, New York, NY, USA, 583–586. Google ScholarDigital Library
- Peter L. Flake, Philip R. Moorby, and Gerry Musgrave. 1980. Logic Simulation of Bi-directional Tri-state Gates. In IEEE International Conference on Circuits and Computers (Port Chester, NY, USA, 1980-10-01/1980-10-03) (ICCC 80). IEEE, New York, NY, USA, 594–600.Google Scholar
- Peter L. Flake, Philip R. Moorby, and Gerry Musgrave. 1981. HILO Mark 2 Hardware Description Language. In Computer Hardware Description Languages and Their Applications, Melvin A. Breuer and Reiner Hartenstein (Eds.). North-Holland, Amsterdam, Netherlands, 95–108. This is Proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and Their Applications (Kaiserslautern, Germany) (CHDL ’81), 7–9 Sep 1981.Google Scholar
- Peter L. Flake, Philip R. Moorby, and Gerry Musgrave. 1983. An Algebra for Logic Strength Simulation. In Proceedings of the 20th Design Automation Conference (Miami Beach, FL, USA, 1983-06-27/1983-06-29) (DAC ’83). IEEE Press, New York, NY, USA, 615–618.Google ScholarDigital Library
- Peter L. Flake, Gerry Musgrave, and Mike Shorland. 1975a. The HILO logic simulation language. In International Symposium on Computer Hardware Description Languages and Their Applications (New York, NY, USA, 1975-09-03/1975-09-05) (CHDL ’75). IEEE, New York, NY, USA, 134–142. IEEE catalog 75CH1010-8C.Google Scholar
- Peter L. Flake, Gerry Musgrave, and Ian J. White. 1974. HILO—A Logic System Simulator. In International Conference on Computer Aided Design (The University Of Southampton, UK, 1974-04-08/1974-04-11). Institution of Electrical Engineers, London, UK, 130–136. IEE Conference Publication 111.Google Scholar
- Peter L. Flake, Gerry Musgrave, and Ian J. White. 1975b. A Digital Systems Simulator—HILO. Digital Processes 1, 1, 39–53. Georgi Publishing Co.Google Scholar
- FSF. 2000. Bison. Free Software Foundation. Archived at https://web.archive.org/web/20000831181346/http://www.gnu.org/ software/bison/ .Google Scholar
- Prabhu Goel. 2017. Prabhu Goel, Silicon Valley. In The $8 Man, Brenda H. Christensen (Ed.). Redtop Publishing, Woodside, CA, USA, 51–76. Excerpt available at non-archival https://www.the8dollarman.com/bios-8-men (also at Internet Archive 19 March 2019 14:29:36 ). Oral histories of Indian immigrants to the United States in 1960s–1970s.Google Scholar
- Richard Goering. 2005. Verilog’s inventor nabs EDA’s Kaufman award. Electronic Engineering Times (7 Nov.). nonarchival https://www.eetimes.com/verilogs-inventor-nabs-edas-kaufman-award/ . Also see this Usenet posting in comp.lang.verilog non-archival https://groups.google.com/forum/#!searchin/comp.lang.verilog/inventor\protect\T1\ textdollar20nabs\protect\T1\textdollar20kaufman/comp.lang.verilog/BND2Y24RSrI/d7AwwvmrQW4J .Google Scholar
- Robert L. Harris, Simon J. Davidmann, and Gerry Musgrave. 1984a. HILO-2 - a system to build on. In 6th International Conference and Exhibition on Computers in Design Engineering (Brighton, UK, 1984-04-03/1984-04-05) (CAD84). Butterworths, Guildford, Surrey, UK, 48–60. non-archival https://www.elsevier.com/books/cad84/wexler/978-0-408-01440-3 . Scanned version available at non-archival https://books.google.com/books?id=zgL9BAAAQBAJ&pg=PA48 .Google ScholarCross Ref
- Robert L. Harris, Gerry Musgrave, and Simon J. Davidmann. 1984b. HILO-2 - a system to build on. Computer-Aided Design 16, 2 (mar), 104.Google ScholarCross Ref
- Reiner Hartenstein. 2018. The History of CHDL Conferences. Archived at https://web.archive.org/web/20180829003543/http: //hartenstein.de/CHDL/Google Scholar
- Chi-lai Huang. 1981. Computer-aided logic synthesis based on a new multi-level hardware design language—LALSD II. Ph.D. Dissertation. State University of New York, Binghamton, NY, USA. Advisor(s) Stephen Y. H. Su. non-archival https://suny-bin.primo.exlibrisgroup.com/permalink/01SUNY_BIN/1igql2k/proquest303100438 .Google Scholar
- Brian Hunter. 2016. Advanced UVM (second ed.). CreateSpace, Scotts Valley, CA, USA.Google Scholar
- IEEE. 1974. Hardware Description Languages. IEEE Computer 7, 12 (dec), 1–85. Google ScholarCross Ref
- IEEE 1076-1987. IEEE Standard VHDL Language Reference Manual. IEEE, New York, NY, USA. https://standards.ieee.org/ standard/1076-1987.html . IEEE Std 1076-1987.Google Scholar
- IEEE 1076-1993. IEEE Standard VHDL Language Reference Manual. IEEE, New York, NY, USA. https://standards.ieee.org/ standard/1076-1993.html . IEEE Std 1076-1993.Google Scholar
- IEEE 1076.4-1995. IEEE Standard VITAL Application-Specific Integrated Circuit (ASIC) Modeling Specification. IEEE, New York, NY, USA. https://standards.ieee.org/standard/1076_4-1995.html . IEEE Std 1076.4-1995.Google Scholar
- IEEE 1164-1993. IEEE Standard Multivalue Logic System for VHDL Model Interoperability (Std_logic_1164). IEEE, New York, NY, USA. http://standards.ieee.org/standard/1164-1993.html . IEEE Std 1164-1993.Google Scholar
- IEEE 1364-1995. IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language. IEEE, New York, NY, USA. https://standards.ieee.org/standard/1364-1995.html . IEEE Std 1364-1995.Google Scholar
- IEEE 1364-2001. IEEE Standard Verilog Hardware Description Language. IEEE, New York, NY, USA. https://standards.ieee. org/standard/1364-2001.html . IEEE Std 1364-2001.Google Scholar
- IEEE 1364-2002. IEEE Standard for Verilog Register Transfer Level Synthesis. IEEE, New York, NY, USA. https://standards. ieee.org/standard/1364_1-2002.html . IEEE Std 1364.1-2002.Google Scholar
- IEEE 1364-2005. IEEE Standard Verilog Hardware Description Language. IEEE, New York, NY, USA. https://standards.ieee. org/standard/1364-2005.html . IEEE Std 1364-2005.Google Scholar
- IEEE 1497-2001. IEEE Standard for Standard Delay Format (SDF) for the Electronic Design Process. IEEE, New York, NY, USA. https://standards.ieee.org/standard/1497-2001.html . IEEE Std 1497-2001.Google Scholar
- IEEE 1647-2006. IEEE Standard for the Functional Verification Language ‘e’. IEEE, New York, NY, USA. https://standards.ieee. org/standard/1647-2006.html . IEEE Std 1647-2006.Google Scholar
- IEEE 1666- 2011. IEEE Standard for Standard SystemC Language Reference Manual. IEEE, New York, NY, USA. http: //standards.ieee.org/standard/1666-2011.html . IEEE Std 1666-2011.Google Scholar
- IEEE 1800-2005. IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language. IEEE, New York, NY, USA. http://standards.ieee.org/standard/1800-2005.html . IEEE Std 1800-2005.Google Scholar
- IEEE 1800-2009. IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language. IEEE, New York, NY, USA. http://standards.ieee.org/standard/1800-2009.html . IEEE Std 1800-2009.Google Scholar
- IEEE 1800-2012. IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language. IEEE, New York, NY, USA. http://standards.ieee.org/standard/1800-2012.html . IEEE Std 1800-2012.Google Scholar
- IEEE 1800-2017. IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language. IEEE, New York, NY, USA. http://standards.ieee.org/standard/1800-2017.html . IEEE Std 1800-2017.Google Scholar
- IEEE 1800.2-2017. IEEE Standard for Universal Verification Methodology Language Reference Manual. IEEE, New York, NY, USA. https://standards.ieee.org/standard/1800_2-2017.html . IEEE Std 1800.2-2017.Google Scholar
- IEEE 1850-2005. IEEE Standard for Property Specification Language (PSL). IEEE, New York, NY, USA. http://standards.ieee. org/standard/1850-2005.html . IEEE Std 1850-2005.Google Scholar
- IEEE 1850-2010. IEEE Standard for Property Specification Language (PSL). IEEE, New York, NY, USA. http://standards.ieee. org/standard/1850-2010.html . IEEE Std 1850-2010.Google Scholar
- Sasan Iman and Sunita Joshi. 2004. The e Hardware Verification Language. Springer, New York, NY, USA. Google ScholarCross Ref
- Mahendra Jain. 1993. The VHDL forecast. IEEE Spectrum 30, 6 (jun), 36. Full-page sidebar in: Michael Carroll. 1993. VHDL—panacea or hype? IEEE Spectrum 30, 6 (jun), 34–37. Google ScholarDigital Library
- Stephen C. Johnson. 1975. Yacc - Yet another compiler-compiler. Computer Science Technical Report 32. Bell Telephone Laboratories, Murray Hill, NJ, USA.Google Scholar
- Harvey Jones. 2009. Oral History of Harvey Jones. Computer History Museum (6 Nov.). http://www.computerhistory.org/ collections/catalog/102702217 (also at Internet Archive 3 Oct. 2013 02:33:32 ). Catalog number 102702217.Google Scholar
- Harry F. Jordan and Burton J. Smith. 1973. Structure of Digital System Description Languages. In Proceedings of the 1st Annual Symposium on Computer Architecture (Gainesville, FL, USA, 1973-12) (ISCA ’73). Association for Computing Machinery, New York, NY, USA, 31–34. Google ScholarDigital Library
- Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. 1997. Aspect-oriented programming. In 11th European Conference on Object-Oriented Programming (Jyväskylä, Finland, 1997-06-09/1997-06-13) (ECOOP ’97 ). Springer, Berlin, Germany, 220–242. https://www.springer.com/us/book/9783540630890 . Volume 1241 of Lecture Notes in Computer Science.Google ScholarCross Ref
- Lindsay Kleeman and Antonio Cantoni. 1987. Metastable Behavior In Digital Systems. IEEE Design and Test of Computers 4, 6 (dec), 4–19. Google ScholarDigital Library
- Jan Łukasiewicz. 1920. O logice trójwartościowej. Ruch Filozoficzny 5, 170–171. Translation: On three-valued logic. Also see: Peter Simons. 2017. Jan Łukasiewicz. In The Stanford Encyclopedia of Philosophy (spring 2017 ed.), Edward N. Zalta (Ed.). Metaphysics Research Lab, Stanford University. Archived at https://plato.stanford.edu/archives/spr2017/entries/ lukasiewicz/ .Google Scholar
- Rajeev Madhavan. 1997. About IVC. OVI. Archived at https://web.archive.org/web/19970414023820/http://www.hdlcon. org/aboutivc.html .Google Scholar
- Mentor Graphics. 2006. Mentor Graphics Delivers the Next Generation of Functional Verification. Mentor Graphics, Inc. (6 may). Archived at https://web.archive.org/web/20100523143319/https://www.mentor.com/company/news/questa_avm .Google Scholar
- MIL-STD-454L. 1988. Standard General Requirements for Electronic Equipment. US Department of Defense, Washington, DC, USA (20 Sep).Google Scholar
- Don Mills and Clifford E. Cummings. 1999. RTL Coding Styles That Yield Simulation and Synthesis Mismatches. In Synopsys Users Group Conference (San Jose, CA, USA, 1999-03-29/1999-03-30) (SNUG San Jose 1999). Synopsys, Mountain View, CA, USA, 1–16. non-archival http://www.sunburst-design.com/papers/CummingsSNUG1999SJ_SynthMismatch.pdf (also at Internet Archive 12 Jan. 2006 04:11:53 ).Google Scholar
- Philip Moorby. 2013. Oral History of Philip Raymond “Phil” Moorby. Computer History Museum (22 April). https: //www.computerhistory.org/collections/catalog/102746653 (also at Internet Archive 4 Jan. 2014 12:35:24 ). Catalog number 102746653.Google Scholar
- Phil Moorby, Arturo Salz, Peter Flake, Surrendra Dudani, and Tom Fitzpatrick. 2003. Achieving Determinism in SystemVerilog 3.1 Scheduling Semantics. In Design and Verification Conference (San Jose, CA, USA, 2003-02-24/2003-02-25) (DVCon 2003). Accellera, Napa, CA, USA, 1–7. Archived atGoogle Scholar
- Philip R. Moorby. 1983. Fault Simulation using Parallel Value Lists. In IEEE International Conference on Computer-Aided Design (Santa Clara, CA, USA, 1983-09-12/1983-09-15) (ICCAD ’83). IEEE, New York, NY, USA, 101–102.Google Scholar
- Gabe Moretti. 2015. DVCon is the Primary Design and Verification Conference. Chip Design Magazine (20 Feb.). Archived at https://web.archive.org/web/20150304150425/http://chipdesignmag.com/sld/moretti/2015/02/20/dvcon-is-the-primarydesign-and-verification-conference .Google Scholar
- Daniel Nenni and Paul McLellan. 2019. Fabless: The Transformation of the Semiconductor Industry. SemiWiki.com, USA. non-archival https://semiwiki.com/forum/images/BookCovers/Fabless%202019%20Version%20PDF.pdf (also at Internet Archive 5 Nov. 2019 22:05:09 ).Google Scholar
- A. Richard Newton. 2005. Presentation of the 2005 Phil Kaufman Award to Phil Moorby. University of California, Berkeley, CA, USA (1 nov). Archived at https://web.archive.org/web/20200330233003/https://people.eecs.berkeley.edu/~newton/ Presentations/Kaufman/PMPresent.html . Richard Newton’s speech introducing Moorby at the awards ceremony.Google Scholar
- Rishiyur S. Nikhil and Arvind. 2009. What is Bluespec? ACM SIGDA Newsletter 39, 1 (jan), 1. Google ScholarDigital Library
- Irving S. Reed. 1952. Symbolic Synthesis of Digital Computers. In Proceedings of the 1952 ACM National Meeting (Toronto) (Toronto, Ontario, Canada, 1952-06) (ACM ’52). Association for Computing Machinery, New York, NY, USA, 90–94. Google ScholarDigital Library
- Ray Salemi. 2013. The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology. Boston Light Press, Boston, MA, USA.Google Scholar
- Arturo Salz, Bruce Greene, and Robert Booth. 2012. X-Optimism Elimination during RTL Verification. In Synopsys Users Group Conference (Santa Clara, CA, USA, 2012-03-26/2012-03-28) (SNUG Silicon Valley 2012). Synopsys, Mountain View, CA, USA, 1–16. Archived at https://web.archive.org/web/20200331183948/https://trilobyte.com/pdf/x-optimism_elimination_ SNUG_2012.pdf .Google Scholar
- Claude Elwood Shannon. 1940. A symbolic analysis of relay and switching circuits. Master’s thesis. MIT, Dept. of Electrical Engineering, Cambridge, MA, USA. Archived at http://hdl.handle.net/1721.1/11173 .Google Scholar
- Michael John Sebastian Smith. 1993. Application-specific integrated circuits. Addison-Wesley, Reading, MA, USA. Archived at https://archive.org/details/ApplicationSpecificIntegratedCircuitsAddisonWesleyMichaelJohnSebastianSmith/mode/ 2up .Google Scholar
- Stuart Sutherland. 2000. The IEEE Verilog 1364-2001 Standard: What’s New, and Why You Need It. In 9th Annual International HDL Conference and Exhibition (San Jose, CA, USA, 2000-03-08/2000-03-10) (HDLCon ’00). OVI & VI, USA, 1–8. Archived at https://web.archive.org/web/20030403025314/https://sutherland-hdl.com/papers/2000-HDLConpaper_Verilog-2000.pdf . Slides at https://web.archive.org/web/20030403102459/https://sutherland-hdl.com/papers/2000-HDLCon-presentation_Verilog-2000.pdf .Google Scholar
- Stuart Sutherland. 2017. RTL Modeling With SystemVerilog for Simulation and Synthesis. Sutherland HDL, Tualatin, OR, USA.Google Scholar
- Stuart Sutherland, Simon Davidmann, and Peter Flake. 2006. SystemVerilog for Design: A Guide to Using SystemVerilog for Hardware Design and Modeling (second ed.). Springer Science+Business Media, New York, NY, USA. Google ScholarCross Ref
- Donald Thomas and Philip Moorby. 1991. The Verilog Hardware Description Language. Kluwer Academic Publishers, Dordrecht, Netherlands. This book is the first public description of the Verilog language. There have been five editions: 1991, 1995, 1996, 1998, and 2002. The second edition included a DOS diskette containing examples from the book and a Verilog simulator. The third through fifth editions included a CD-ROM with examples and a simulator.Google Scholar
- Donald Thomas and Philip Moorby. 1995. The Verilog Hardware Description Language (second ed.). Kluwer Academic Publishers, Dordrecht, Netherlands. The Foreward by C. Gordon Bell gives a nice summary of the Verilog market as of 1995.Google Scholar
- Mike Turpin. 2003. The Dangers of Living with an X (bugs hidden in your Verilog). In Synopsys Users Group Conference (San Jose, CA, USA, 2003-03-17/2003-03-19) (SNUG San Jose 2003). Synopsys, Mountain View, CA, USA, 1–34. Archived at https://web.archive.org/web/20150510162606/http://infocenter.arm.com/help/topic/com.arm.doc.arp0009a/Verilog_ X_Bugs.pdf .Google Scholar
- Ernst G. Ulrich. 1969. Exclusive Simulation of Activity in Digital Networks. Commun. ACM 12, 2 (Feb.), 102–110. Google ScholarDigital Library
- Moshe Y. Vardi. 1995. An Automata-Theoretic Approach to Linear Temporal Logic. In Logics for Concurrency : Structure versus Automata (Banff, Canada, 1995-08-27/1995-09-03) (VIII Banff Higher Order Workshop). Springer-Verlag, Berlin, Heidelberg, Germany, 238–266.Google Scholar
- Srivatsa Vasudevan. 2016. Practical UVM. CreateSpace, Scotts Valley, CA, USA.Google Scholar
- Verisity Design. 2002. eRM : e Reuse Methodology. Verisity Design. Archived at https://web.archive.org/web/20021009225113/ http://www.verisity.com/products/erm.html .Google Scholar
- Frank Weiler. 2003. DVCon. Accellera, Napa, CA, USA. Archived at https://web.archive.org/web/20030408023416/http: //www.hdlcon.org/geninfo.html .Google Scholar
- Ian John White. 1975. A digital systems simulator. Ph.D. Dissertation. University of Bradford, Bradford, West Yorkshire, UK. Library record at non-archival https://catalogue.brad.ac.uk/record=b1220417~S1 .Google Scholar
- Dyson Wilkes and M. M. Kamal Hashmi. 1999. Application of High Level Interface-Based Design to Telecommunications System Hardware. In Proceedings of the 36th Annual ACM/IEEE Design Automation Conference (New Orleans, Louisiana, USA, 1999-06) (DAC ’99). Association for Computing Machinery, New York, NY, USA, 778–783. Google ScholarDigital Library
Index Terms
- Verilog HDL and its ancestors and descendants
Recommendations
PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations
CASES '02: Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systemsChip fabrication technology continues to plunge deeper into sub-micron levels requiring hardware designers to utilize ever-increasing amounts of logic and shorten design time. Toward that end, high-level languages such as C/C++ are becoming popular for ...
The Semantic Challenge of Verilog HDL
LICS '95: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer ScienceThe Verilog hardware description language (HDL) is widely used to model the structure and behavior of digital systems ranging from simple hardware building blocks to complete systems. Its semantics is based on the scheduling of events and the ...
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction
DAC '03: Proceedings of the 40th annual Design Automation ConferenceIn this paper, we show how to use Verilog HDL along with PLI (Programming Language Interface) to model asynchronous circuits at the behavioral level by implementing CSP (Communicating Sequential Processes) language constructs. Channels and communicating ...
Comments