You are currently viewing SemiWiki as a guest which gives you limited access to the site. To view blog comments and experience other SemiWiki features you must be a registered member. Registration is fast, simple, and absolutely free so please,
join our community today!
WP_Term Object
(
[term_id] => 24576
[name] => LUBIS EDA
[slug] => lubis-eda
[term_group] => 0
[term_taxonomy_id] => 24576
[taxonomy] => category
[description] =>
[parent] => 157
[count] => 3
[filter] => raw
[cat_ID] => 24576
[category_count] => 3
[category_description] =>
[cat_name] => LUBIS EDA
[category_nicename] => lubis-eda
[category_parent] => 157
[is_post] =>
)
WP_Term Object
(
[term_id] => 24576
[name] => LUBIS EDA
[slug] => lubis-eda
[term_group] => 0
[term_taxonomy_id] => 24576
[taxonomy] => category
[description] =>
[parent] => 157
[count] => 3
[filter] => raw
[cat_ID] => 24576
[category_count] => 3
[category_description] =>
[cat_name] => LUBIS EDA
[category_nicename] => lubis-eda
[category_parent] => 157
[is_post] =>
)
At the Design Automation Conference (DAC) 2025 in San Francisco, LUBIS EDA returns as an exhibitor to showcase its latest innovations in formal verification automation, helping semiconductor teams move faster and with more confidence through the most complex verification challenges.
LUBIS EDA is a fast-growing EDA startup… Read More
Formal verification methods are being adopted at a fast pace as a complement to traditional verification methods like functional simulation for IP blocks in SoC designs. I had a video meeting with Max Birtel, co-founder of LUBIS EDA and learned more about their history, products and vision. This company started recently in 2020… Read More
Tobias began his journey with a strong academic foundation in electronic design automation, studying at a leading university in Germany that specialized in formal verification. After graduating, Tobias gained hands-on experience in the semiconductor industry, where he quickly recognized the challenges and inefficiencies… Read More