Bluespec, Inc. to Open Source Its Proven BSV High-level HDL Tools

Bluespec, Inc. will open source its BSV development tools on January 31, 2020. The company is contributing this powerful field-proven technology to the open source hardware community to reinforce an industry uptick in the use of high-level HDLs that will address challenging new design and verification problems. According to CEO Charlie Hauck, “Open source collaborative development is the only way to deliver the HDL advances necessary for leading-edge applications requiring security, AI, and high assurance. Formal verification, one of the most critically needed advances, requires access to HDL tool source code to provide a complete chain of proof.”

The uptick in the adoption of high-level HDLs is most evident in the proliferation of open source processors implementing the RISC-V ISA. Three quarters of the top dozen RISC-V open source projects are implemented in high-level HDLs. The DARPA SSITH (System Security Integration Through Hardware and Firmware) program uses six different processors as development vehicles, all implemented in high-level HDLs. For projects with a clean slate and no legacy constraints, high-level HDLs are gaining adoption.

IIT Madras Ph.D. and RISC-V Shakti project member Neel Gala explained the transformative power BSV gives his team. “Bluespec System Verilog gives you a high-level abstraction, like going from assembly [level programming] to C. You don’t do the dirty work, the compiler does all the work for you. You work at a much higher level, your throughput increases. Simulation and turnaround time decreases, and your product release time has a shorter cycle.”

BSV is the only HDL based on Guarded Atomic Actions. This provides a foundation for reasoning about the functional correctness of hardware. Various projects have demonstrated the verification advantages of BSV hardware (Kami at MIT, BlueCheck at the University of Cambridge). Open sourcing the BSV tools will stimulate further development in advanced hardware verification.

Source code for the BSV tools will be licensed under a standard open source license and be hosted by a separate nonprofit organization. Bluespec, Inc. will continue to offer supported versions of the BSV tools, based on the open source code. It will also upstream fixes and enhancements to the public repository. Companies are encouraged to join the BSV supplier ecosystem by providing BSV products and support based on the open source code.

Bluespec, Inc. is your go-to resource for RISC-V, delivering solutions, support, and success. Drive innovation for your business by transforming your embedded systems developers into RISC-V power users. Bluespec equips your team with a suite of developer tools, configurable cores, and ongoing support to solve any RISC-V problem. Let us help you get moving quickly and get results with RISC-V. For a complete overview of the Bluespec RISC-V Factory as well as an array of best-in-class tools and cores for RISC-V innovation, visit   Bluespec.com.




Review Article Be the first to review this article
Aldec

Featured Video
Jobs
Senior Software Engineer for EDA Careers at San Jose, California
Senior and (less) Senior Design Verification Engineers for EDA Careers at San Jose and Austin, California
Sr. Application Engineer for Mentor Graphics at Fremont, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Upcoming Events
Linley Spring Processor Conference at Virtual Event CA - Apr 6 - 9, 2020
Embedded Vision Summit 2020 at Santa Clara Convention Center Santa Clara CA - May 18 - 21, 2020
Sensors Expo & Conference at McEnery Convention Center 150 W. San Carlos Street SAN JOSE CA - Jun 22 - 24, 2020
Nanotech 2020 Conference and Expo at National Harbor MD - Jun 29 - 1, 2020



© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise