Join us at the RISC-V Summit Europe 2024! We are pleased to announce that our co-founder Michael Schwarz and Osama Ayoub, are at the RISC-V International Summit Europe 2024 in Munich! 🌍✨ Join them at this premier event to connect with the European movers and shakers from industry, government, research, academia, and ecosystem support who are building the future of innovation on RISC-V. Don’t miss this opportunity to be part of the new wave of European computing innovation! Connect with Michael and Osama to discover how LUBIS EDA is contributing to the future of RISC-V and driving technological advancement. 📅 Date: June 24-28, 2024 📍 Location: Munich, Germany See you at the RISC-V Summit Europe 2024! #FormalVerification #RISCVSummitEurope #RISCV
Info
LUBIS EDA is helping customers to find simulation-resistant and corner-case bugs in high-risk silicon design or IP blocks. Our formal verification service enables you to: 1) Reach your silicon design verification goals faster 2) Uncover hard to find functional bugs in your design 3) Require less RTL simulation time 4) Stay within your budget and tape-out schedule 5) Avoid re-spins and improve designer productivity We functionally verify your RTL with formal techniques and iteratively communicate bugs we find. You get short feedback cycles, reduce your time spent on RTL verification and higher-quality designs. What makes us special? We work with an innovative formal verification methodology, resulting in an easy to use, high quality formal Verification IP. Instead of writing SVA properties by hand we established a property generation flow. During a verification service project, we build a propriatary model that enables us to generate VIP. The VIP can later be used in simulation and/or formal verification of your choice.
- Website
-
http://www.lubis-eda.com
Externer Link zu LUBIS EDA
- Branche
- Herstellung von Halbleitern
- Größe
- 11–50 Beschäftigte
- Hauptsitz
- Kaiserslautern
- Art
- Privatunternehmen
- Gegründet
- 2021
- Spezialgebiete
- EDA, Hardware, Semiconductors, Digital IC Design, Digital IC Verification, Formal Verification und Agile Hardware Development
Orte
-
Primär
Kaiserslautern, 67663, DE
Beschäftigte von LUBIS EDA
-
Luis Alfonso Rivas Rivas
Formal Verification Engineer at LUBIS EDA
-
Dr. Tobias Ludwig
CEO | Formal | Making sure that microchips are developed faster, more reliable and bug-free.
-
Rohith Babu Batthineni
Formal Verification Engineer
-
Osama Ayoub
Formal Verification Engineer at LUBIS EDA | M.Sc. in Embedded Systems
Updates
-
Reflecting on an incredible day at the next Job Fair! 🌟 A huge thank you to CISPA Helmholtz Center for Information Security for giving us the opportunity to join their booth and connect with so many talented individuals. The event at Universität des Saarlandes was a fantastic success, a big thanks goes to Triathlon - Universität des Saarlandes! Last week our founder Michael Schwarz had an incredible time at the job fair with interesting talks about career insights and job opportunities. It was also an incredible chance for valuable networking. The result? We met amazing talent, shared our vision, and forged connections that will shape the future. Were you there? What was your highlight? 🤔 #SemiconductorIndustry #Semiconductors #FormalVerification #startup
-
-
LUBIS EDA's debut at TREFFPUNKT: Were you there? We were at the Firmenkontaktmesse Treffpunkt KL, a key event hosted at the RPTU Kaiserslautern-Landau. A special thanks to Gründungsbüro RPTU&HS Kaiserslautern for the opportunity to join them at their booth. For the past 32 years, this fair has been a vital part of the summer semester. Each year, a dedicated group of students organizes this event, ensuring a professional experience for both exhibitors and visitors. The fair showcases up to 62 companies annually, from SMEs to large corporations, engaging students from various disciplines. What's the result? Networking, partnerships, and countless career opportunities for students and businesses alike. Have you ever thought about the impact of student-driven initiatives on industry connections? Let’s discuss below 👇 #SemiconductorIndustry #Semiconductors #FormalVerification #startup
-
-
Unforgettable Moments at the B2run Kaiserslautern 🏃♂️🏃♀️ The B2Run Kaiserslautern in May was an exhilarating experience. Imagine a 5 km journey through the heart of the city, with a lively finish line at Stiftsplatz. 🏁 This event isn't just a race; it's an opportunity to connect. With over 6,500 participants from 300 companies, including our own LUBIS EDA team of 16, we celebrated teamwork and fitness. Overall, we had a great time during and after the race together. Here's the result: stronger bonds and a sense of achievement. Do we need more events like this to strengthen our work relationships and promote health? #SemiconductorIndustry #Semiconductors #FormalVerification #startup #TeamBuilding
-
-
✨Great success for LUBIS EDA✨ We have reached the penultimate selection round for the German Founder Award 2024 and are therefore one of the most promising contenders for the most important award for outstanding entrepreneurs in Germany in the StartUp alternative up-and-comer category. The prestigious business award will be presented by the partners stern, Sparkasse, ZDF and Porsche AG on September 24, 2024 in the ZDF Hauptstadtstudio. The Bundesministerium für Wirtschaft und Klimaschutz supports the German Start-up Award. 🏆 LUBSI EDA has been nominated for the Deutscher Gründerpreis in the StartUp category. This includes one- to three-year-old companies that have been particularly successful in establishing their business idea on the market.
-
-
Intel Ignite Europe – The kick-off. 🚀 Right now, we're standing at the threshold where imagination meets innovation. At Intel Ignite Europe's kickoff, we're not just talking about technology; we're living it. This is where deep tech startups morph into market giants. We've rolled up our sleeves to transform cutting-edge ideas into industry-disrupting tech. With hands-on mentorship, technical support, and sharp business insights, we’re paving the way for entrepreneurs to sculpt the future. Do you think your idea has what it takes to reshape industries? 🌍 #SemiconductorIndustry #Semiconductors #FormalVerification #startup #IntelIgnite
-
-
🎙 Interview with Osama Ayoub from LUBIS EDA 🎙 1️⃣ Osama Ayoub, can you tell us a little about yourself and your role at LUBIS EDA? I'm a Formal Verification Engineer at LUBIS EDA. My role revolves around employing formal methods to guarantee flawless and bug-free digital designs, from the simplest to the most complicated ones. 2️⃣ What motivated you to choose LUBIS EDA as your workplace? At LUBIS EDA, I blend my passion for hardware technology with an energetic, innovative, and diverse workplace. Being part of LUBIS EDA also means contributing to the future of EDA through groundbreaking innovation. 3️⃣ Do you have a motto that guides you through life? My motto is, 'Everything in life happens for a reason. You have to make the best out of every situation you are in and enjoy the ride.' 4️⃣ What's one thing on your bucket list that you're eager to experience? Travelling to as many countries as possible. Experiencing diverse cultures and landscapes enriches life in unimaginable ways. 🌍 5️⃣ Lastly, we've heard about some of your hobbies. Would you be willing to share a bit about them? I enjoy casual video gaming and competitive racket sports including squash and badminton. It's a great way to unwind and stay mentally and physically active. 🎮🏸 Thanks for this insightful interview, Osama! We're thrilled to have learned more about your role at LUBIS EDA and your passions outside of work. 🌟 #LUBISEDALife #FormalVerification #InnovationJourney
-
-
🔥 Exciting news! LUBIS EDA has secured a spot in batch 7 of Intel Ignite Europe, the accelerator program tailored for early-stage deep tech startups by Intel Corporation. This presents an excellent chance for us to join forces with fellow innovators, tap into Intel's expertise, and learn from top-tier mentors. We're eager to embark on this 12-week journey alongside other disruptors! AIRMO, Cartken, Flink Robotics, NcodiN, Pathway, SCIL Nanoimprint Solutions, Ultralytics, Waveye, ZeroPoint Technologies🚀 https://lnkd.in/dadB7j6a Markus Bohl, Alois Eder, Martha Ivanovas, Kate Hach, Felix Steckenbiller #IntelIgnite #IamIntel #DeepTech #AcceleratorProgram
-
-
Unleashing Team Potential Beyond Work Hours! Our team at LUBIS EDA believes in fostering bonds beyond the office walls.🌟 After work, we gather to play various games outdoors, strengthening our camaraderie and teamwork. This isn't just about fun; it's about building a cohesive unit that thrives in any challenge. Our team's synergy transcends the workplace, creating a vibrant and supportive environment for innovation and growth. Do you invest in activities that bring your team closer together outside of work? How does it impact your workplace dynamics? 🚀 #SemiconductorIndustry #Semiconductors #FormalVerification #startup #TeamBuilding
-
-
Are you also curious about RISC-V or do you rather stay away from it?🤔
Finding corner-case bugs in your RTL design for you | Formal Verification Enthusiast | Co-Founder of the deep-tech startup LUBIS EDA
Is RISC-V the next big bet in the semiconductor field? 🚀 RISC-V is turning heads in the semiconductor industry. As a CFO I wonder: is it more than just a tech trend? Might it be a serious investment opportunity? Here's why (Source: EETimes Europe, Saumitra Jagdale): - In Europe, RISC-V-based innovations are soaring, thanks to IP collaborations. They're meeting the demanding speeds required by AI and ML applications. - RISC-V's market value is expected to hit $1.07 billion by 2025, with a whopping 40% CAGR from 2022 to 2030, according to SHD Group. What's the buzz all about? 🐝 - RISC-V is not your average architecture. Its modularity is a game-changer, letting designers tailor processors to specific application needs - a boon for AI and ML. - Offering a free and open ISA, it's driving innovation across an expanding range of applications. What’s your take: huge opportunity or rather a short-term hype? 🤔 As LUBIS EDA, we’ll definitely take a closer look at it 😉 #SemiconductorIndustry #Semiconductors #FormalVerification 🌐💡🔍
-