Welcome to Methods2Business
Methods2Business delivers expert knowledge and high quality consultancy services in advanced and innovative methods for hardware and software design and Verification. Methods2Business delivers his services to Semiconductor companies and System houses seeking to improve their Time-to-Market and ensure their product quality while minimizing the challenges of adopting a new methodology. Methods2Business achieves these improvements by deploying the best-in-class Electronic Design Automation (EDA) and Software Design Automation (SDA) solutions. The supported tools rely on formal methods for hardware and software development and address the concerns of system-level design and verification of today's embedded systems.
To realize its goal, Methods2Business partners with leading technology providers who excell in their technology domain because of their patented and well thought through methodology. Today, Methods2Business has established strategic partnerships with, Cadence Design Systems, OneSpin-Solutions and Verum Software Technologies and intensively works together with the world's leading Semiconductor IP company ARM Ltd.
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
Cadence post video interview with Marleen Boonen about paper presentation for CDNLive! EMEA 2012
19 MarDirector and Founder Methods2Business gets interviewed by Cadence about the paper presentation that will be gi…
Methods2Business is being selected as speaker at the Cadence CDNLive! EMEA 2012 Conference in Munich
05 MarMethods2Business will present a paper and give a presentation at the Cadence CDNLive! EMEA 2012 conference in …
Methods2Business finished GapFree Verification project for automotive company in Germany
10 FebMethods2Business successfully delivered a GapFree verification service using OneSpin's 360® MV to prove the fu…
Methods2Business and Cadence Design Systems in the US sign System Realization Alliance Program Agreement
23 JanCadence and Methods2Business collaborate to roll-out Cadence® new Virtual System Platform to address the conce…
Methods2Business was sitting in panel at DSP Valley event on Tools for Embedded System Design
15 Dec 2011DSP Valley organized a half day workshop on tools for hard- and software design for embedded systems. At the e…
Methods2Business ramps up analog & digital IC design verification team for longterm cooperation with challenging business partner
17 Nov 2011Methods2Business Novi Sad has challenging open positions for experienced Digital and Analog IC design engineer…
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
GapFree Formal HW Verification
100% Complete
Formal Metric Driven Verification
We are certified for providing GapFreeVerification™ services using OneSpin's 360® MV product which can be considered as the most comprehensive Formal Assertion Based Verification Solution. The methodology provides an SVA (SystemVerilog Assertions) modeling layer - called OperationalSVA™- that enables operational assertions to be written directly from timing diagrams that describe the intended behavior of operations. Operational assertions - in contract to "arbitrary" assertions as in standard ABV - enable exhaustive coverage analysis which automatically uncovers any verification hole, guides the user in writing the additional assertions to close the holes and tells him when the verification is "done". Their latest product QUANTIFY MDV, is the Industry's first Comprehensive Solution for Metric-driven Formal Assertion-based Coverage Analysis and Measurement,.
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