Alexandria: Libraries of abstract, verified hardware modules (1997)

by Annette Bunker, Michael D Jones, Trent N Larson, Phillip J Windley
Venue:In 2nd Workshop on Libraries, Component Modeling, and Quality Assurance