Scalable Hardware Verification with Symbolic Simulation

Mapping Intimacies ◽

10.1007/0-387-29906-8 ◽

2006 ◽

Keyword(s):

Hardware Verification ◽

Symbolic Simulation ◽

Scalable Hardware

Download Full-text

Higher Order Logic and Hardware Verification

10.1017/cbo9780511569845 ◽

1993 ◽

Author(s):

T. F. Melham

Keyword(s):

Higher Order ◽

Order Logic ◽

Hardware Verification ◽

Higher Order Logic

Download Full-text

Hardware Verification Integrating Deductive With Algorithmic Technologies

10.21236/ada400799 ◽

2002 ◽

Author(s):

Zohar Manna

Keyword(s):

Hardware Verification

Download Full-text

Analysis of Switch-Level Faults by Symbolic Simulation

32nd Design Automation Conference ◽

10.1109/dac.1995.249972 ◽

1995 ◽

Author(s):

Lluis Ribas-Xirgo

Keyword(s):

Symbolic Simulation

Download Full-text

A scalable hardware render accelerator using a modified scanline algorithm

ACM SIGGRAPH Computer Graphics ◽

10.1145/142920.134069 ◽

1992 ◽

Vol 26 (2) ◽

pp. 241-248 ◽

Author(s):

Michael Kelley ◽

Stephanie Winner ◽

Kirk Gould

Keyword(s):

Scalable Hardware

Download Full-text

Efficient and Scalable Hardware-Based Multicast in Fat-Tree Networks

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2008.228 ◽

2009 ◽

Vol 20 (9) ◽

pp. 1285-1298 ◽

Author(s):

S. Coll ◽

F.J. Mora ◽

J. Duato ◽

F. Petrini

Keyword(s):

Tree Networks ◽

Scalable Hardware

Download Full-text

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

International Journal of Parallel Programming ◽

10.1007/s10766-005-8910-3 ◽

2005 ◽

Vol 33 (6) ◽

pp. 645-666 ◽

Author(s):

Alfred Koelbl ◽

Carl Pixley

Keyword(s):

Formal Models ◽

Symbolic Simulation ◽

Download Full-text

Random Stimuli Generation for Functional Hardware Verification as a CP Application

Principles and Practice of Constraint Programming - CP 2005 - Lecture Notes in Computer Science ◽

10.1007/11564751_120 ◽

2005 ◽

pp. 882-882 ◽

Author(s):

Yehuda Naveh ◽

Roy Emek

Keyword(s):

Hardware Verification

Download Full-text

Parallel scalable hardware implementation of asynchronous discrete particle swarm optimization

Engineering Applications of Artificial Intelligence ◽

10.1016/j.engappai.2009.12.001 ◽

2010 ◽

Vol 23 (2) ◽

pp. 177-187 ◽

Author(s):

Amin Farmahini-Farahani ◽

Shervin Vakili ◽

Sied Mehdi Fakhraie ◽

Saeed Safari ◽

Caro Lucas

Keyword(s):

Particle Swarm Optimization ◽

Hardware Implementation ◽

Particle Swarm ◽

Discrete Particle Swarm Optimization ◽

Swarm Optimization ◽

Discrete Particle ◽

Scalable Hardware

Download Full-text

A methodology for efficient hardware verification

Formal Methods in System Design ◽

10.1007/bf01384235 ◽

1994 ◽

Vol 5 (1-2) ◽

pp. 95-117 ◽

Author(s):

Mark Aagaard ◽

Miriam Leeser

Keyword(s):

Hardware Verification

Download Full-text

Implementation of Assertions Checkers in Software and Hardware Verification Environments

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)33733-3 ◽

2003 ◽

Vol 36 (1) ◽

pp. 155-160

Author(s):

Miroslaw Forczek ◽

Katarzyna Hrynkiewicz

Keyword(s):

Hardware Verification ◽

Software And Hardware

Download Full-text