Academic literature on the topic 'Verilog'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Verilog.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Verilog"
Lööw, Andreas. "The Simulation Semantics of Synthesisable Verilog." Proceedings of the ACM on Programming Languages 9, OOPSLA1 (2025): 1295–320. https://doi.org/10.1145/3720484.
Full textChen, Qinlin, Nairen Zhang, Jinpeng Wang, et al. "The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog." Proceedings of the ACM on Programming Languages 7, OOPSLA2 (2023): 234–63. http://dx.doi.org/10.1145/3622805.
Full textBlair, G. M. "Verilog: accelerating digital design." Electronics & Communication Engineering Journal 9, no. 2 (1997): 68–72. http://dx.doi.org/10.1049/ecej:19970203.
Full textKuthe, Pascal, Markus Muller, and Michael Schroter. "VerilogAE: An Open Source Verilog-A Compiler for Compact Model Parameter Extraction." IEEE Journal of the Electron Devices Society 8 (2020): 1416–23. http://dx.doi.org/10.1109/jeds.2020.3023165.
Full textKoti, Mr Manjunath, and Dr Basavaraj I. Neelgar. "CAN Tx Frame Implementation using Verilog." Journal of University of Shanghai for Science and Technology 23, no. 07 (2021): 1303–13. http://dx.doi.org/10.51201/jusst/21/07311.
Full textDHARMENDRA, SINGH, SONI UPENDRA, SHOBHANI KARAN, KARKASHE YASH, LIMJE SHUBHAM, and NAYAK AAYUSH. "VERILOG BASED UART SYSTEM DESIGN." i-manager’s Journal on Embedded Systems 6, no. 2 (2018): 34. http://dx.doi.org/10.26634/jes.6.2.14057.
Full textPEISCHL, BERNHARD, NAVEED RIAZ, and FRANZ WOTAWA. "AUTOMATED DEBUGGING OF VERILOG DESIGNS." International Journal of Software Engineering and Knowledge Engineering 22, no. 05 (2012): 695–723. http://dx.doi.org/10.1142/s0218194012500209.
Full textUmidjon, Zaripovich Narziyev. "VERILOG DASTURLASH TILI YORDAMIDA DASTURLASH." GOLDEN BRAIN 1, no. 16 (2023): 9–14. https://doi.org/10.5281/zenodo.8043911.
Full textWang, Chao, Yicong Shao, Jiajie Huang, et al. "V2Va +: An Efficient SystemVerilog & Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation." IEEE Open Journal of Circuits and Systems 5 (2024): 387–97. https://doi.org/10.1109/ojcas.2024.3451530.
Full textFerrari, F. "Verilog quickstart! a practical guide to simulation and synthesis in verilog, 2nd ed. [Book Review]." IEEE Circuits and Devices Magazine 17, no. 2 (2001): 49–50. http://dx.doi.org/10.1109/mcd.2001.920884.
Full textDissertations / Theses on the topic "Verilog"
Li, Lijun. "Optimization techniques for distributed Verilog simulation." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=21936.
Full textPace, Gordon G. "Hardware design based on Verilog HDL." Thesis, University of Oxford, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298555.
Full textKononov, Ekaterina (Ekaterina R. ). "Modeling photonic links in Verilog-A." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/85432.
Full textSkärpe, Anders. "Implementation of an SDR in Verilog." Thesis, Linköpings universitet, Kommunikationssystem, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-132325.
Full textDirsė, Žygimantas. "Verilog kalbos sintezuojamų kostrukcijų atvaizdavimas SystemC kalboje." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_183745-16346.
Full textHuang, Hai 1974. "A partitioning framework for distributed verilog simulation /." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=80291.
Full textPekofsky, Gregory. "GCS : a framework for distributed verilog simulation." Thesis, McGill University, 2005. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=82404.
Full textFeng, Zhiming Niu Guofu. "Compact modeling of SiGe HBTs using VERILOG-A." Auburn, Ala., 2006. http://repo.lib.auburn.edu/2006%20Summer/Theses/FENG_ZHIMING_19.pdf.
Full textRangoonwala, Sakina. "A Verilog 8051 Soft Core for FPGA Applications." Thesis, University of North Texas, 2009. https://digital.library.unt.edu/ark:/67531/metadc11013/.
Full textRangoonwala, Sakina Kougianos Elias. "A Verilog 8051 soft core for FPGA applications." [Denton, Tex.] : University of North Texas, 2009. http://digital.library.unt.edu/permalink/meta-dc-11013.
Full textBooks on the topic "Verilog"
Sutherland, Stuart. Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9.
Full textLee, James M. Verilog® Quickstart. Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6113-2.
Full textSutherland, Stuart, and Don Mills. Verilog and SystemVerilog Gotchas. Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-71715-9.
Full textPadmanabhan, T. R., and B. Bala Tripura Sundari. Design Through Verilog HDL. John Wiley & Sons, Inc., 2003. http://dx.doi.org/10.1002/0471723002.
Full textCavanagh, Joseph. Verilog HDL Design Examples. CRC Press, 2017. http://dx.doi.org/10.1201/b22315.
Full textSutherland, Stuart. The Verilog PLI Handbook. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4615-5017-4.
Full textMittra, Swapnajit. Principles of Verilog PLI. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4615-5161-4.
Full textSpear, Chris. System Verilog for Verification. Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-76530-3.
Full textBook chapters on the topic "Verilog"
Edwards, Stephen A. "Verilog." In Languages for Digital Embedded Systems. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4325-1_3.
Full textLaMeres, Brock J. "Verilog Constructs." In Quick Start Guide to Verilog. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-10552-5_2.
Full textLaMeres, Brock J. "Verilog Constructs." In Quick Start Guide to Verilog. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-44104-2_2.
Full textLee, Weng Fook. "Signed Verilog." In Learning from VLSI Design Experience. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03238-8_6.
Full textSutherland, Stuart. "Introduction." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_1.
Full textSutherland, Stuart. "Automatic (recursive) functions." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_10.
Full textSutherland, Stuart. "Constant functions." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_11.
Full textSutherland, Stuart. "Comma separated sensitivity lists." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_12.
Full textSutherland, Stuart. "Combinational logic sensitivity lists." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_13.
Full textSutherland, Stuart. "Implicit nets for continuous assignments." In Verilog — 2001. Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1713-9_14.
Full textConference papers on the topic "Verilog"
Zhang, Yongan, Zhongzhi Yu, Yonggan Fu, Cheng Wan, and Yingyan Celine Lin. "MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation." In 2024 IEEE LLM Aided Design Workshop (LAD). IEEE, 2024. http://dx.doi.org/10.1109/lad62341.2024.10691738.
Full textSaravanan, M., J. Saritha, S. Sree Vishnu Varthini, R. Sri Sathya Priya, R. Sri SivaSakthi, and Shiromani Balmukund Rahi. "Performance Analysis of 8/16/32-bit Calculator Using Verilog and System Verilog." In 2024 4th International Conference on Ubiquitous Computing and Intelligent Information Systems (ICUIS). IEEE, 2024. https://doi.org/10.1109/icuis64676.2024.10867037.
Full textChopde, Abhay, Balganesh Thombre, Vedant Khodake, and Nikhil Yeware. "Vending Machine Using Verilog (FPGA)." In 2024 4th Asian Conference on Innovation in Technology (ASIANCON). IEEE, 2024. https://doi.org/10.1109/asiancon62057.2024.10838215.
Full textRavikumar, P., M. V. Ganeswara Rao, and Vamaraju Nikitha. "Verilog Based Automated Retail System." In 2024 OPJU International Technology Conference (OTCON) on Smart Computing for Innovation and Advancement in Industry 4.0. IEEE, 2024. http://dx.doi.org/10.1109/otcon60325.2024.10687553.
Full textHimadeep, Thota, Aravind Krishnan, and Rajesh Kannan. "Intelligent Parking System Using Verilog." In 2024 3rd Odisha International Conference on Electrical Power Engineering, Communication and Computing Technology (ODICON). IEEE, 2024. https://doi.org/10.1109/odicon62106.2024.10797543.
Full textGunna, Poorna Shashank, Leela Sai Srinivas Ontipuli, and Rajesh Kannan Megalingam. "Verilog Based Efficient Traffic Light System." In 2024 4th Asian Conference on Innovation in Technology (ASIANCON). IEEE, 2024. https://doi.org/10.1109/asiancon62057.2024.10838078.
Full textIonici, Cristian-Valentin, Silviu-Dorin Meltiş, and Petru Papazian. "Distance Estimation Using Verilog FPGA Implementation." In 2024 International Symposium on Electronics and Telecommunications (ISETC). IEEE, 2024. https://doi.org/10.1109/isetc63109.2024.10797307.
Full textWan, Ziying. "Verilog-based weather broadcasting light design." In 2024 4th International Symposium on Computer Technology and Information Science (ISCTIS). IEEE, 2024. http://dx.doi.org/10.1109/isctis63324.2024.10699223.
Full textLu, Yao, Xiaoling Yang, and Yongbo Jin. "Bilinear Interpolation Algorithm Based on Verilog." In 2024 IEEE 7th International Conference on Electronic Information and Communication Technology (ICEICT). IEEE, 2024. http://dx.doi.org/10.1109/iceict61637.2024.10671174.
Full textArumilli, Vamsi SriKrishna, Asish Krishna Ghatta, and Rajesh Kannan Megalingam. "FPGA – Controlled Automated Coffee Maker using Verilog." In 2024 Third International Conference on Electrical, Electronics, Information and Communication Technologies (ICEEICT). IEEE, 2024. http://dx.doi.org/10.1109/iceeict61591.2024.10718631.
Full textReports on the topic "Verilog"
Clarke, Edmund, Himanshu Jain, and Daniel Kroening. Predicate Abstraction and Refinement Techniques for Verifying Verilog. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada457877.
Full textJain, Himanshu, Natasha Sharygina, Daniel Kroening, and Edmund Clarke. Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada470547.
Full textClarke, Edmund, and Daniel Kroening. Checking Consistency of C and Verilog using Predicate Abstraction and Induction. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada457879.
Full textClarke, Edmund, Daniel Kroening, and Karen Yorav. Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada461052.
Full textKutlu, İhsan. Türki̇ye’de Sağlıkta Özelleşmenin Sonuçları Sağlık Hı̇zmetlerı̇nı̇n Değişen Arz ve Talep Yapısı. İLKE İlim Kültür Eğitim Vakfı, 2021. http://dx.doi.org/10.26414/pn018.
Full textKramer, Mitchell. Customer Self-Service at Verizon. Patricia Seybold Group, 2006. http://dx.doi.org/10.1571/td8-10-06cc.
Full textKramer, Mitchell. Customer Self-Service at Verizon Wireless. Patricia Seybold Group, 2006. http://dx.doi.org/10.1571/td7-27-06cc.
Full textMarshak, Ronni. Apple and/or Verizon: How Should Partners Provide Customer Support? Patricia Seybold Group, 2013. http://dx.doi.org/10.1571/bp02-14-13cc.
Full textCarroll, C., and F. Quick. Verizon Wireless Dynamic Mobile IP Key Update for cdma2000(R) Networks. RFC Editor, 2007. http://dx.doi.org/10.17487/rfc4784.
Full textChelimo, Ph.D, Sheila, Carmen Cortez, Jessica Jackson, and D'Andre Weaver, Ph.D. Unintended Impact: How the Verizon Innovative Learning Schools Program Affected Its Educators' Job Satisfaction and Career Trajectories. Digital Promise, 2024. http://dx.doi.org/10.51388/20.500.12265/212.
Full text