Abstract:
Abstract. Security processors are used to implement cryptographic algorithms with high throughput and/ or low energy consumption constraints. The design of these processors is a balancing act between flexibility and energy consumption. The target is to create a processor with just enough programmability to cover a set of algorithms—an application domain. This paper proposes GEZEL, a design environment consisting of a design language and an implementation methodology that can be used for such domain specific processors. We use the security domain as driver, and discuss the impact of the domain on the target architecture. We also present a methodology to create, refine and verify a security processor.
Citations
|
196
|
J.Gong, Specification and design of embedded systems
– Gajski, Narayan
- 1994
|
|
65
|
A real-time procedural shading system for programmable graphics hardware
– Proudfoot, Mark, et al.
- 2001
|
|
30
|
Chandrakasan; An Energy-Efficient Reconfigurable Public-Key Cryptography Processor
– Goodman, P
- 2001
|
|
18
|
The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner (2000) Editors
– Berry
|
|
14
|
A Novel Methodology for the Design of Application Specific Instruction Set Processors (ASIP) Using a Machine Description Language
– Hoffmann, Kogel, et al.
- 2001
|
|
7
|
Elliptic Curve Public-Key Cryptosystems: An Introduction," LNSC 1528
– Dewin, Preneel
- 1997
|
|
7
|
Statecharts: AVisual Formalism for Complex Systems
– Harel
- 1987
|
|
6
|
SPS: A Strategically Programmable System
– Ogrenci-Memik, Bozorgzadeh, et al.
- 2001
|
|
5
|
A 2.29 Gbits/sec,56 mW Non-Pipelined Rijndael AES Encryption IC in a 1.8 V, 0.18 mm CMOS Technology
– Kuo, Schaumont, et al.
- 2002
|
|
3
|
Overview of the Ptolemy Project Technical Memorandum UCB/ERL M01/11,University
– Lee
- 2001
|
|
2
|
K.Van Rompaey, S.Vercauteren, and D.Verkest. Hardware/Software Co-Design of Digital Telecommunication Systems
– Bolsens, Man, et al.
- 1997
|
|
2
|
S.Vernalde.C++ Based System Design of a 72 Mb/s OFDM Transceiver for Wireless LAN
– Verkest, Eberle, et al.
- 2001
|
|
1
|
Reconfigurable Computing:What,Why, and Implications for Design Automation
– Dehon, Wawrzynek
- 1999
|
|
1
|
SpecC: Specification Languageand Methodology
– Gajski, Zhu, et al.
- 2000
|
|
1
|
Performance Comparison of Elliptic Curve Systems in Software
– Hankerson
|
|
1
|
A Decade of Reconfigurable Computing: AVisionary Perspective
– Hartenstein
|
|
1
|
Hardware/ Software Co-Design of an Elliptic Curve Public-Key Cryptossystem
– Janssens, Thomas, et al.
- 2001
|
|
1
|
Domain Space Exploration of Stream Based
– Kienhuis
|
|
1
|
Modeling Stream-Based Applications Using the SBF Model of Computation
– Depettere
|
|
1
|
E.The MIT Lightweight LanguagesWorkshop
– Kim
- 2002
|
|
1
|
P.van Oorschot, and S.Vanstone
– Menezes
|
|
1
|
A Quick Safari Through the Reconfiguration Hierarchy
– Schaumont, Verbauwhede, et al.
- 2001
|
|
1
|
The anonymizer. Available at http://www.anonymizer.com
– unknown authors
|
|
1
|
and J.Teich. FunStateöAn Internal Design Representation for Codesign
– Thiele, Strehl, et al.
|
|
1
|
KeyAgility Issues in High Speed IPsec Implementations
– AES
|
