In the world of software development many companies switched to agile design methods, resulting in a faster time-to-market, less bugs and an increased ROI compared to traditional approaches.
This sounds great, but why is agile hardware development not there, yet?
There is fast variety of agile methods for software, e.g. Test-Driven Development (TDD), Extreme Programming (XP) or Continuous Integration (CI). Each is using rapid prototyping and unit testing as a core element to ensure a continuous integration of features. These two core elements are missing for hardware development.
Our mission is to provide tools that enable an agile hardware design flow.
- LUBIS Spec (link):
- Entry to our toolfow
- Abstract transaction-level System-C model
- Can be used as golden model
- Speed-up of up to 100x compared to RTL simulators
- LUBIS Rapid (link):
- Push button generation of functional correct prototypes
- Enables generation from abstract FSM descriptions
- Supports multiple languages: SV, VHDL, SystemC-RTL
- Correct-by-construction with respect to LUBIS Spec
- Can do way more then HLS tools (e.g. Sparkling Glitter)
- LUBIS LTest (link):
- Configurable Unit unit testing framework
- Based on formal properties (e.g. System-Verilog Assertions)
- Changes of the RTL model can still be verified
- Enables full custom implementations without the need to worry about functionality
- Operational view ensures very short prove times
- Full functional coverage of the design space
- Allows to easily re-verify existing features in later stages