Synchronous Equivalence
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer US

9781461356646, 9781461516590
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Verification of CFSM Specifications

2001 ◽  
pp. 41-56
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Formal Verification

Communication Analysis

2001 ◽  
pp. 81-106
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Communication Analysis

Refining Communication Analysis

2001 ◽  
pp. 107-125
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Communication Analysis

Static Equivalence Analysis

2001 ◽  
pp. 67-79
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Static Equivalence

Synchronous Equivalence

2001 ◽  
pp. 57-65
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli

Codesign Finite State Machines

2001 ◽  
pp. 23-39
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Finite State

Introduction

2001 ◽  
pp. 1-10
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli

Conclusions and Future Directions

2001 ◽  
pp. 127-129
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Future Directions

The Polis Codesign Framework

2001 ◽  
pp. 11-22
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Load More ...
Sign in / Sign up

Export Citation Format

Share Document