The Verifica Library -- verification and design information you can really use.