Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis

Author(s):  
Tomohiro Yoneda ◽  
Chris J. Myers
Keyword(s):  
Author(s):  
Marc G. Davis ◽  
Ethan Smith ◽  
Ana Tudor ◽  
Koushik Sen ◽  
Irfan Siddiqi ◽  
...  

2014 ◽  
Vol 13 (6) ◽  
pp. 1074-1083 ◽  
Author(s):  
Luca Amaru ◽  
Pierre-Emmanuel Gaillardon ◽  
Giovanni De Micheli
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document