It is always difficult for companies to outsource work, especially to startups with no reputation. However, there are many benefits of using a startup as a service provider for you: 1️⃣ Flexibility: It is easier for startups to adjust rapidly to changing requirements, as there are less people involved in decision making and less red tape. …
Is simulation still a viable option for functional verification? Simulation is a popular verification technique to identify bugs in hardware, because it scales even for very large and complex designs. However, checking the design behaviour for every possible input sequence is infeasible even for relatively small designs. This shortcomming cannot be repaired by using coverage metrics …
Why is Formal Verification important for semiconductor development? Formal verification is an essential part of semiconductor development, and to increase your knowledge-level in that area is important for several reasons: 1️⃣ Increasing design reliability: Semiconductor devices are becoming increasingly complex, with billions of transistors on a single chip. Formal verification techniques can ensure that the …
Thank you very much for tuning into our first blogpost! To explain the origin story of LUBIS EDA`s, we need to take a small trip back to 2015. It all started, when I was reading a fellow PhD’s work on Path-Predicate Abstractions (PPA), looking for inspiration for my own research. The work of my college was focusing on …
Within this series we keep you updated on our mission to provide you tools for your Agile Hardware Development! LUBIS IDE is coming:The time of error prone fiddling with the terminal is (almost) over. We started implementing a first MVP for our GUI. Keep tuned for updates on the matter in the future. Plug & Play …
In the world of software development many companies have switched to agile design methods, achieving a faster time to market, fewer bugs and an increased ROI compared to traditional approaches. This sounds great, so why isn’t Agile Hardware Development a thing, yet? There is a great variety of agile methods for software, e.g., Test-Driven Development (TDD), Extreme Program-ming (XP) or Continuous Integration (CI). What all these …
Within this series we at LUBIS EDA keep you updated on our mission to provide you tools for your Agile Hardware Development! LUBIS IDE is here: We are happy to present our first version of our new IDE. The time of error prone fiddling within the terminal is over.Parsing, debugging and generating all in one place. …
Today, formal verification is mostly used for bug hunting. Writing formal properties is time consuming and requires a certain level of expertise. The performance of formal tools increased drastically within the last decade. Trends like increasing design complexity, safety and security requirements (e.g. ISO 26262) lead to an increasing usage of formal to verify the …
At LUBIS EDA, Summer is coming! We used the time before the easter break for a spring-clean.We worked on our code base to set our selfs up to ship new features within the next months. I guess you’re here for the new features. Let’s take a look: Full support of arrays:We extended our subset to …