
About
"The
Greek goddess Athena was frequently called upon to
settle disputes between the gods or various mortals.
Athena Goddess of Wisdom was known for her superb
logic and intellect. Her decisions were usually well-considered,
highly ethical, and seldom motivated by self-interest."
from "Athena, Greek Goddess of Wisdom and Craftsmanship"
ATHENa: Automated Tool for Hardware
EvaluatioN is a project started at George Mason University,
aimed at fair, comprehensive, and automated evaluation of cryptographic
cores developed using hardware description languages, such as VHDL and
Verilog.
Our project has been inspired by a similar environment for comparing
software implementations of cryptography, developed by Daniel Bernstein
and Tanja Lange, called eBACS (ECRYPT Benchmarking of Cryptographic
Systems).
Our environment, in its final version, will be based on a comprehensive
set of scripts, to be downloaded freely from the project web site, and
run on computers belonging to the authors of HDL codes.
The system will allow the comparison of
- Cryptographic algorithms, e.g. candidates in the SHA-3 contest
- Cryptographic architectures and implementations, e.g., basic iterative vs. unrolled, GMU implementation vs. Bochum implementation
- Hardware platforms, e.g. Xilinx Virtex 6 vs. Altera Stratix IV
- Languages and tools, e.g., VHDL vs. Verilog vs. AHDL, Synplify
Pro vs. Xilinx XST
The main features of our environment will include:
- running all steps of synthesis, implementation, and timing analysis in the batch mode
- support for devices and tools of the following three major FPGA vendors: Xilinx, Altera, Actel
- generation of results for multiple FPGA families of a given
vendor,
e.g. Xilinx: Spartan 3, Virtex 5; Altera: Cyclone 3, Aria 2, Stratix 4; Actel: Igloo, Fusion, ProAsic3 - automated choice of a device within a given family of FPGAs assuming that the resource utilization does not exceed a certain limit, e.g. 80\% of CLB slices or 50\% of BRAMs
- automated optimization of results aimed at one of the three optimization criteria: speed, area, and ratio speed to area
- automated verification of the design through functional,
post-synthesis, and timing simulation, run in the batch mode.
At this point, the system is still in its relatively early stages of
development. Only a prototype, proof-of-concept, version 0.1 is
available.
Subsequent features will be added gradually, as the project progresses.
This is currently an unfunded project, so the speed of its development
will depend on the future availability of human resources, funds, and
contributions by volunteers interested in co-developing the system.
Image of Athena Goddess courtesy of Carolyn Angus. Click here to learn more.