2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424424177

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Arithmetic Circuits Verification without Looking for Internal Equivalences

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547681 ◽

2008 ◽

Cited By ~ 9

Author(s):

O. Sarbishei ◽

B. Alizadeh ◽

Masahiro Fujita

Keyword(s):

Arithmetic Circuits

Download Full-text

A Comparison of Two SystemC/TLM Semantics for Formal Verification

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547687 ◽

2008 ◽

Cited By ~ 13

Author(s):

Claude Helmstetter ◽

Olivier Ponsini

Keyword(s):

Formal Verification

Download Full-text

Breaker Pages - Panel: Methodologies for On-Chip Communication Design: Trends and Challenges

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547711 ◽

2008 ◽

Keyword(s):

Communication Design ◽

On Chip

Download Full-text

Virtual prototyping AADL architectures in a polychronous model of computation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547701 ◽

2008 ◽

Cited By ~ 3

Author(s):

Yue Ma ◽

Jean-Pierre Talpin ◽

Thierry Gautier

Keyword(s):

Virtual Prototyping ◽

Model Of Computation

Download Full-text

Vacuity Analysis by Fault Simulation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547683 ◽

2008 ◽

Cited By ~ 2

Author(s):

Luigi di Guglielmo ◽

Franco Fummi ◽

Graziano Pravadelli

Keyword(s):

Fault Simulation

Download Full-text

Infinite State Model Checking with Arithmetic Constraints

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547697 ◽

2008 ◽

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

State Model ◽

Infinite State

Download Full-text

Breaker Pages: Keynote Talk I

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547678 ◽

2008 ◽

Download Full-text

Assertion-Based Design with Horus

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547691 ◽

2008 ◽

Cited By ~ 5

Author(s):

Yann Oddos ◽

Katell Morin-Allory ◽

Dominique Borrione

Download Full-text

From Data to Events: Checking Properties on the Control of a System

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547682 ◽

2008 ◽

Cited By ~ 3

Author(s):

Christophe Jacquet ◽

Frederic Boulanger ◽

Dominique Marcadet

Download Full-text

High-throughput Pipelined Mergesort

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547704 ◽

2008 ◽

Cited By ~ 5

Author(s):

Kermin Fleming ◽

Myron King ◽

Man Cheuk Ng ◽

Asif Khan ◽

Muralidaran Vijayaraghavan

Keyword(s):

High Throughput

Download Full-text

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Arithmetic Circuits Verification without Looking for Internal Equivalences

A Comparison of Two SystemC/TLM Semantics for Formal Verification

Breaker Pages - Panel: Methodologies for On-Chip Communication Design: Trends and Challenges

Virtual prototyping AADL architectures in a polychronous model of computation

Vacuity Analysis by Fault Simulation

Infinite State Model Checking with Arithmetic Constraints

Breaker Pages: Keynote Talk I

Assertion-Based Design with Horus

From Data to Events: Checking Properties on the Control of a System

High-throughput Pipelined Mergesort

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Latest Publications