Tsinghua University Press Ltd. - Deadlock detection in FPGA design: A practical approach

Author(s): Dexi Wang ; Fei He ; Yangdong Deng ; Chao Su ; Ming Gu ; Jiaguang Sun
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 April 2015
Volume: 20
Page(s): 212 - 218
ISSN (Electronic): 1007-0214
DOI: 10.1109/TST.2015.7085635
Regular:

Formal verification of VHSIC Hardware Description Language (VHDL) in Field-Programmable Gate Array (FPGA) design has been discussed for many years. In this paper we provide a practical approach to... View More

Advertisement