Title
The Future of Formal Methods and GALS Design
Abstract
The System-on-Chip era has arrived, and it arrived quickly. Modular composition of components through a shared interconnect is now becoming the standard, rather than the exotic. Asynchronous interconnect fabrics and globally asynchronous locally synchronous (GALS) design has been shown to be potentially advantageous. However, the arduous road to developing asynchronous on-chip communication and interfaces to clocked cores is still nascent. This road of converting to asynchronous networks, and potentially the core intellectual property block as well, will be rocky. Asynchronous circuit design has been employed since the 1950's. However, it is doubtful that its present form will be what we will see 10 years hence. This treatise is intended to provoke debate as it projects what technologies will look like in the future, and discusses, among other aspects, the role of formal verification, education, the CAD industry, and the ever present tradeoff between greed and fear.
Year
DOI
Venue
2009
10.1016/j.entcs.2009.07.032
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
asynchronous on-chip communication,asynchronous network,globally asynchronous locally synchronous design,arduous road,present form,clocked core,network fabrics,cad industry,system-on-chip,asynchronous circuit design,system-on-chip era,present tradeoff,asynchronous design,formal methods,fifos,gals design,core intellectual property block,asynchronous circuit,chip,intellectual property,formal method,system on chip,formal verification
Asynchronous communication,System on a chip,Asynchronous system,Computer science,Globally asynchronous locally synchronous,Computer security,Theoretical computer science,Greed and fear,Formal methods,Intellectual property,Formal verification,Distributed computing
Journal
Volume
ISSN
Citations 
245,
Electronic Notes in Theoretical Computer Science
6
PageRank 
References 
Authors
0.52
26
7
Name
Order
Citations
PageRank
Kenneth S. Stevens118525.65
Daniel Gebhardt260.52
Junbok You3473.79
Yang Xu4342.18
Vikas Vij560.52
Shomit Das691.97
Krishnaji Desai760.52