Welcome to Methods2Business
Methods2Business develops and establishes advanced and innovative methods to design hardware and software IP for embedded systems using state-of-the art industrial tooling and targeting first time right IP in less time. To realize this goal, the company heavily relies on formal methods to prove the correctness of hardware and software IPs and advocates a software-centric system-level design approach to deal with the increasing complexity and exploding amount of software in today’s embedded systems.
Methods2Business designs hardware and software IP using the above methods and tools for customers in the semiconductors and advanced systems and electronics industry. The company acts as consultant and qualified service provider for design activities based on selected tools and methodologies and also trains and supports customers to adopt the new methods and tools during and after the ramp-up period.
Methods2Business executes its projects with high quality project management standards and applies an agile project lifecycle supporting intermediate milestones.
Methods2Business has strategic partnerships with leading technology providers in Electronic (EDA) and Software Design Automation (SDA). Current partners are: Cadence Design Systems in the US, OneSpin-Solutions in Munich and Verum Software Technologies in the Netherlands. The company also closely cooperates with ARM in the UK, the world’s leading IP provider and has a Memorandum of Understanding with the University of Novi Sad.
Methods2Business is located in Eindhoven, the Netherlands and has a daughter company in the New Business Incubator of Novi Sad, in the region Vojvodina in Serbia.
Download here our company flyer
Innovation
New ideas are innovative when they make it into production.
The difficulty lies not in the new ideas, but in escaping the old ones,
which ramify, for those brought up as most of us have been, into every corner of our minds.
John Maynard Keynes
Latest News
Attend the Methods2Business presentation at the 50th DAC in Austin, TX on June 4th at 2pm
01 JunMethods2Business, CEO & Founder, Marleen Boonen will present the Methods2Business vision on cheaper, better, f…
Methods2Business is selected speaker at the Cadence CDNLive EMEA 2013 conference in Munich, May 6-8
10 AprThe presentation is titled: "Towards embedded system design with unambiguous HW/SW contract". Methods2Busines…
Methods2Business presented at Embedded World 2013 in Nuernberg, Germany 26-28.2.2013
08 AprMethods2Business was invited speaker at the one-day industrial workshop about Embedded Software Development on…
Join our presentation and visit our booth at the Bits&Chips 2012 Embedded Systems conference
25 Oct 2012Methods2Business is one of the speakers at the Bits&Chips 2012 Embedded Systems Conference where we also have …
Cadence Virtual System Platform Collaboration Video
31 Aug 2012Marleen Boonen and Vladislav Palfi describe how we use the Cadence Virtual Platform and Verum's Analytical Sof…
DAC 2012: Handling a Double Paradigm Shift for Embedded Software Development
05 Jun 2012Cadence's Frank Schirrmeister blogs about our presentation at DAC 2012
Advanced Methodologies
The power of formal &
ESL methods
We rely on comprehensive formal methods for both software and hardware development to guarantee bugfree hardware and defect free software.
We rely on best-in-class System-Level Design & Verification methods for the development of today's Embedded Systems and their differentiating SW applications "apps"".
Simplicity is the ultimate sophistication.
Leonardo Da Vinci
Formal HW Verification & Equivalence Checking
100% Complete
Formal Metric Driven Verification
We are certified for providing GapFreeVerification™ services using OneSpin's 360® DV & EV products which can be considered as the most comprehensive Formal Design Verification & Equivalence Checking Solutions for ASICs and FPGA's.
The 360 DV product family is the most comprehensive formal assertion-based verification (ABV) solution for RTL designs. 360 DV covers the broadest range of formal ABV applications for formal verification starters, experienced users and experts - from fully automatic RTL checks all the way to OneSpin;s patented, highest quality GapFreeVerification.
The OneSpin 360 EC (Equivalence Checking) solutions thoroughly prove, without simulation, that design functionality is maintained through all implementation phases of a design such as design revisions, synthesis and optimizations, made from RTL to the final netlist - RTL-RTL, RTL-gate and gate-gate - in ASIC/SoC and FPGA design flows.
Good design adds value faster than it add costs
Thomas C. Gale - Chrysler designer
Defect-free
Software Design
Formally proven Model Driven Design
Right first time, every time
Our software engineers create fancy software applications using Verum's ASD:Suite. Our people can help you to provde software that is right first-time, every time.
The Verum ASD:Suite is a unique, general purpose, software design automation platform, incoporating fully automated mathematical verification technology. It enables software engineers to build better, more complex software while delivering a net 30%-50% improvement in productivity and a corresponding decrease in time to market.
If you cannot grok the overall structure of a program while taking a shower, you are not ready to code it.
R. Pattis
Embedded System Design
Pre-RTL Software development & real HW/SW co-design
The early availability of a high performance virtual prototype is no longer the point of discussion to reduce software development costs while speeding up development time and increasing product quality. It is also the only way to enable real hardware/software co-design. While the creation of such a prototype in the past was difficult, time consuming, error-prone and limited to SystemC/TLM2.0 gurus only, its creation today in Cadence® Virtual System Platform is easy, fully automated and offers almost real-time simulation performance.
We closely work together with ARM® for access to the ARM® Fast Models which are high speed programmer's view models validated by ARM that allow debug, analysis and optimization of SW applications throughout the development cycle prior to Silicon availability.
Being abstract is something profoundly different from being vague... The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
E. Dijkstra