Developing verification methodologies as FPGAs take over from gate arrays

被引：0

作者：

Sevcik, Rich ^{[1
]}

机构：

[1] Xilinx, Inc

来源：

Electronic Engineering (London) | 2000年 / 72卷 / 885期

关键词：

Application specific integrated circuits - Computer aided software engineering - Computer hardware description languages - Computer simulation - Computer software reusability - Error detection - Field programmable gate arrays - Integrated circuit testing - Logic gates - Table lookup;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Verification has always been an integral part of the FPGA design flow. In fact, engineers consider design verification as the most critical task in successfully creating complex designs and decreasing time to market. At present, various verification strategies, from which engineers can choose from are already available.

引用

页码：95 / 96

共 50 条

[31] HARDWARE IMPLEMENTATION OF AN ARTIFICIAL NEURAL-NETWORK USING FIELD-PROGRAMMABLE GATE ARRAYS (FPGAS)
BOTROS, NM
ABDULAZIZ, M
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1994, 41 (06) : 665 - 667
[32] Optical multi-token-ring networking using smart pixels with field programmable gate arrays (FPGAs)
Zhang, LP
Hong, SW
Min, CK
Alpaslan, ZY
Sawchuk, AA
PHOTONIC DEVICES AND ALGORITHMS FOR COMPUTING III, 2001, 4470 : 146 - 154
[33] Guide to using field programmable gate arrays (FPGAs) for application-specific digital signal processing performance
Goslin, GR
HIGH-SPEED COMPUTING, DIGITAL SIGNAL PROCESSING, AND FILTERING USING RECONFIGURABLE LOGIC, 1996, 2914 : 321 - 331
[34] Total dose responses of Actel 1020B and 1280A field programmable gate arrays (FPGAs)
Katz, R
Swift, G
Shaw, D
RADECS 95 - THIRD EUROPEAN CONFERENCE ON RADIATION AND ITS EFFECTS ON COMPONENTS AND SYSTEMS, 1996, : 412 - 419
[35] Towards Automatic Deductive Verification of C Programs over Linear Arrays
Kondratyev, Dmitry
Maryasov, Ilya
Nepomniaschy, Valery
PERSPECTIVES OF SYSTEM INFORMATICS (PSI 2019), 2019, 11964 : 232 - 242
[36] Parallel pipeline networking and signal processing with field programmable gate arrays (FPGAs) and VCSEL-MSM smart pixels
Kuznia, CB
Sawchuk, AA
Zhang, L
Hoanca, B
Hong, S
Min, C
Pansatiankul, D
Alpaslan, ZY
OPTICS IN COMPUTING 2000, 2000, 4089 : 1055 - 1061
[37] GAAS GATE ARRAYS INTEGRATE OVER 100K USABLE GATES
TUCK, B
COMPUTER DESIGN, 1990, 29 (23): : 100 - 100
[38] DISTRIBUTING GATE-LEVEL DIGITAL TIMING SIMULATION OVER ARRAYS OF TRANSPUTERS
WOOD, KR
CONCURRENCY-PRACTICE AND EXPERIENCE, 1991, 3 (04): : 367 - 379
[39] Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Komuravelli, Anvesh
Bjorner, Nikolaj
Gurfinkel, Arie
McMillan, Kenneth L.
PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 89 - 96
[40] Time for the Intellect to Take Over From Mind
Venkatesh, G.
PROBLEMY EKOROZWOJU, 2012, 7 (02): : 115 - 117

← 1 2 3 4 5 →