HDL-GPT: High-Quality HDL is All You Need

Autor: Kumar, Bhuvnesh, Nanda, Saurav, Parthasarathy, Ganapathy, Patil, Pawan, Tsai, Austin, Choudhary, Parivesh

This paper presents Hardware Description Language Generative Pre-trained Transformers (HDL-GPT), a novel approach that leverages the vast repository of open-source High Definition Language (HDL) codes to train superior quality large code models. The

Externí odkaz: http://arxiv.org/abs/2407.18423

Safety Property Verification Using Sequential SAT and Bounded Model Checking.

Autor: Parthasarathy, Ganapathy, Iyer, Madhu K., Kwang-Ting Cheng, Wang, Li-C.

Publikováno v: IEEE Design & Test of Computers; Mar/Apr2004, Vol. 21 Issue 2, p132-143, 12p, 3 Black and White Photographs, 5 Diagrams, 3 Charts, 1 Graph