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



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

  1. Attend the Methods2Business presentation at the 50th DAC in Austin, TX on June 4th at 2pm

    01 Jun 2013

    Methods2Business, CEO & Founder, Marleen Boonen will present the Methods2Business vision on cheaper, better, f…

  2. Methods2Business is selected speaker at the Cadence CDNLive EMEA 2013 conference in Munich, May 6-8

    10 Apr 2013

    The presentation is titled: "Towards embedded system design with unambiguous HW/SW contract". Methods2Busines…

  3. Methods2Business presented at Embedded World 2013 in Nuernberg, Germany 26-28.2.2013

    08 Apr 2013

    Methods2Business was invited speaker at the one-day industrial workshop about Embedded Software Development on…

  4. Join our presentation and visit our booth at the Bits&Chips 2012 Embedded Systems conference

    25 Oct 2012

    Methods2Business is one of the speakers at the Bits&Chips 2012 Embedded Systems Conference where we also have …

  5. Cadence Virtual System Platform Collaboration Video

    31 Aug 2012

    Marleen Boonen and Vladislav Palfi describe how we use the Cadence Virtual Platform and Verum's Analytical Sof…

  6. DAC 2012: Handling a Double Paradigm Shift for Embedded Software Development

    05 Jun 2012

    Cadence'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

Read more

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

Read more

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

Read more

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

Read more