Information Technology Reference
In-Depth Information
semantical domain of Gezel have pointed to issues which are dicult for stu-
dents to comprehend. Hence, a next step is to redefine the language so that the
semantical concepts are reflected in the language in a direct manner. This may
also provide a more elegant translation into the synthesizable subset of VHDL.
Although the initial results of automated verification are promising, verifying
large hardware specifications is still a major challenge which most likely will
require a compositional approach. The clear semantical model gives us some
indications of how to approach this problem and this is currently one of our
primary research objectives.
References
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Comput. Sci. 126(2),
183-235 (1994)
2. Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.)
Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press,
Cambridge (1998)
3. Ashenden, P.J.: The Designer's Guide to VHDL Morgan Kaufmann Technology &
Industrial Arts (2002)
4. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: Uppaal - a tool
suite for automatic verification of real-time systems. In: Alur, R., Sontag, E.D.,
Henzinger, T.A. (eds.) Hybrid Systems III. LNCS, vol. 1066, pp. 232-243. Springer,
Heidelberg (1996)
5. Brekling, A.W.: A Timed-Automata Semantics for a System-Level MPSoC model.
Master's Thesis. Informatics and Mathematical Modelling, Technical University of
Denmark (2006)
6. Buchi, J.: Weak second-order arithmetic and finite automata. Z. Math. Logik
Grundl. Math 6, 66-92 (1960)
7. Elgot, C.: Decision problems of finite automata design and related arithmetics.
Transactions of the American Mathematical Society 98, 21-52 (1961)
8. Gajski, D.D., Ramachandran, L.: Introduction to High-Level Synthesis. IEEE Des.
Test 11(4), 44-54 (1994)
9. Ellebæk, J., Knudsen, K.S., Brekling, A.W., Hansen, M.R., Madsen, J.: MOVES -
a tool for modelling and verification of embedded systems. In: DATE'07, University
Booth (2007)
10. Klarlund, N., Møller, A.: Mona version 1.4: User manual, BRICS, Department of
Computer Science, University of Aarhus, Denmark,
http://www.brics.dk/mona
11. Schaefer, E.: A Simplified Data Encryption Standard Algotrihm. Cryptologia 20(1),
77-84 (1996)
12. Schaumont, P., Verbauwhede, I.: Domain Specific Tools and Methods for Applica-
tion in Security Processor Design. Design Automation for Embedded Systems 7,
365-383 (2002)
13. Schaumont, P., Verbauwhede, I.: A Component-based Design Environment for
Electronic System-level Design. In: IEEE Design and Test of Computers Maga-
zine, special issue on Electronic System-Level Design, pp. 246-338 (2006)
14. Schaumont, P., Ching, D., Verbauwhede, I.: An interactive codesign environment
for domain-specific coprocessors. ACM Transactions on Design Automation for
Embedded Systems 11(1), 70-87 (2006)
Search WWH ::
Custom Search