May 18, 2009; Mountain View, CA

Semifore would like to congratulate the Spirit Consortium on its release of the SystemRDL Specification. We also like to thank our fellow members of the Register Description Working Group for their efforts in bringing this standard to publication.

We are pleased to announce CSRCompiler 2009.02 with SystemRDL 1.0 support. SystemRDL is supported as both an input register specification for generating Verilog or VHDL RTL, documentation, header files, and Spirit IP-XACT XML and as an output for interchange and conversion from CSRSpec, CSV, and Spirit IP-XACT.

November 20, 2008; Mountain View, CA

The Semifore design verification team currently uses the Certess Certitude tool to qualify the test benches and test cases used within Semifore for quality assurance.  The Semifore CSRCompiler product creates synthesizable RTL from a register address map specification, unit level test benches, and testcases to verify that the generated RTL has the specified hardware and software semantics. After considering many techniques, the Semifore design verification team chose the Certess Certitude tool to automate the verification effort and RTL quality. The Certess Certitude tool provides the verification team feedback without a large commitment of team resources. The feedback includes a quality measurement and a detailed list of areas that need additional work.

May 15, 2008; Mountain View, CA

Semifore today appointed Herbert Winsted to the position of director of business development. Mr. Winsted will be responsible for worldwide sales and support.