admin

December 22, 2023

Startups as an excellent verification service provider 

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 […]
November 13, 2023

Formal Verification versus Simulation

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 […]
June 15, 2023

Why formal verification is important for semiconductor development

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 […]
August 29, 2022

A RECORD OF LUBIS EDA

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 […]
August 29, 2022

#1 WHAT’S THE NEWS? – KEEP UP TO DATE!

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 […]
August 29, 2022

AGILE HARDWARE DEVELOPMENT IS NOT A THING! IS IT?

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 […]
August 29, 2022

#2 WHAT’S THE NEWS? – KEEP UP TO DATE!

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 […]
August 29, 2022

WRITING FORMAL PROPERTIES IS COMPLICATED? LET US DEMOCRATISE PROPERTY CREATION!

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 […]
August 29, 2022

#3 WHAT’S THE NEWS? – KEEP UP TO DATE!

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 […]