2007-06-29: Updated documentation

Two documentation updates were published today on the Bound-T website.

Version 5 of the User Manual (pdf) describes several new command-line options, some new assertion syntax, and new forms of outputs from the analysis.

Version 4 of the SPARC/ERC32 Application Note (pdf) describes the new support for the SPARC V8 and V8E architectures in version 3b8 of Bound-T for SPARC/ERC32.

Valid HTML 4.01 Transitional