Bluespec, Inc. to Open Source Its Proven BSV High-level HDL Tools
January 7, 2020 -- 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.
Ad |
RISC-V processor - 32 bit, 5-stage pipeline Low-power 32-bit RISC-V processor RISC-V Processor - RV12 - 32/64 bit, Single Core CPU |
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.
|
Related News
- CHIPS Alliance Forms F4PGA Workgroup to Accelerate Adoption of Open Source FPGA Tooling
- Bluespec Unveils Groundbreaking "RISC-V Factory" - Empowering Open Source Hardware Developers to Build Faster and More Efficiently
- SmartDV Adds Support for Verilator Open Source HDL Verilog Simulator
- Imagination and Mentor extend partnership for open source, embedded tools support across all MIPS CPUs
- Bluespec High-Level Synthesis Toolset is Selected by Hitachi
Breaking News
- Arasan's Total MIPI Camera IP solution with CSI and C-PHY achieve ISO26262 Certification
- sureCore announces successful tape-out of cryogenic IP demonstrator
- Siemens delivers end-to-end silicon quality assurance for next-generation IC designs with new Solido IP Validation Suite
- UMC Reports Sales for April 2024
- GUC Monthly Sales Report - April 2024
Most Popular
- Synopsys Enters Definitive Agreement to Sell its Software Integrity Business to Clearlake Capital and Francisco Partners
- Fabless semiconductor startup Mindgrove launches India's first indigenously designed commercial high-performance MCU chip
- Arm Brings Transformers to IoT Devices
- Zhuhai Chuangfeixin: OTP IP Based on 55nm High-Voltage Process Successfully Qualified for Listing
- Alphawave Semi announced today a refocussing of the Board of Directors after reaching the three-year milestone since the Company's IPO
E-mail This Article | Printer-Friendly Page |