How to Build Industry-Specific Apps using Low-Code

How to Build Industry-Specific Apps using Low-Code
by Admin on 09-21-2021 at 12:00 am

LIVE WEBINAR | 21 SEPTEMBER 2021 | TWO SESSIONS AVAILABLE

  • Develop industry-specific applications using low-code

Low-code application development has been around for more than a decade. Its entry into the industrial space is rather new, and many questions remain about how it can be used to solve problems.

You will learn:

  • How
Read More

Extending the Digital Enterprise with Low-Code Apps

Extending the Digital Enterprise with Low-Code Apps
by Admin on 07-28-2021 at 12:00 am

LIVE WEBINAR | 28 JULY 2021 | 10:00 AM EST

The digital enterprise is an important strategic goal on the radar of most industrial organizations today. Getting there requires connecting many teams, systems and processes. Low-code apps can be the first step in realizing the digital enterprise or a manageable step to fill existing

Read More

A Formal Feast

A Formal Feast
by Bernard Murphy on 03-29-2017 at 7:00 am

It’s not easy having to deliver one of the last tutorials on the last day of a conference. Synopsys drew that short straw for their tutorial on formal methodologies at DVCon this year. Despite that they delivered an impressive performance, keeping the attention of 60 attendees who said afterwards it was excellent on technical content,… Read More


HW Emulator Apps Open Doors to Entirely New Uses

HW Emulator Apps Open Doors to Entirely New Uses
by Tom Simon on 02-28-2016 at 7:00 am

When the topic of hardware emulation comes up, thoughts of big iron customarily come to mind. However, hardware emulation has evolved significantly and now there are other important traits that distinguish the offerings in this area. For a very long period of time emulators provided primarily a method to accelerate gate level… Read More


OneSpin Launchpad, the App Store for Formal Verification

OneSpin Launchpad, the App Store for Formal Verification
by Paul McLellan on 05-21-2015 at 7:00 am

Formal verification is qualitatively different from most other verification. A simulation can pass or fail. But while formal verification can prove that the circuit is correct, or incorrect, it can also return “not proven” which means either that the algorithms realized that they were not powerful enough to prove… Read More


Can Android1 Lead the Way for Google in New Smartphone Market?

Can Android1 Lead the Way for Google in New Smartphone Market?
by Pawan Fangaria on 11-12-2014 at 7:00 pm

I had been wanting to write about it since Google’sbig bang announcement of Android1 in India in Sep this year and their associated strategy to capture some of the large pockets of Smartphone market within a matured or declining cell phone market and maturing overall market of Smartphone. Since I wrote my last article hereon maturation… Read More


First Verdi Interoperability Apps Developer Forum

First Verdi Interoperability Apps Developer Forum
by Paul McLellan on 01-30-2014 at 11:47 am

Way back when SpringSoft was still SpringSoft and not Synopsys they launched Verdi Interoperability Apps (VIA) and an exchange for users to share them open-source style. I wrote about it back in 2011 when it was announced. Today, Synopsys announced the first developer forum for VIA. It will be held at SNUG on Wednesday, March 26,… Read More


Jasper Apps White Paper

Jasper Apps White Paper
by Paul McLellan on 11-01-2012 at 7:30 pm

Just in time for the Jasper User Group meeting, Jasper have a new white paper explaining the concept of JasperGold Apps.

First the User Group Meeting. It is in Cupertino at the Cypress Hotel November 12-13th. For more details and to register, go here. The meeting is free for qualified attendees (aka users). One thing I noticed at the… Read More


Jasper Property Synthesis Apps

Jasper Property Synthesis Apps
by Paul McLellan on 10-29-2012 at 7:00 am

Jasper restructured JasperGold so that it could deliver its formal technology more flexibly by having a base system and a porfolio of apps. This would also make it easier to upgrade capabilities by creating new apps. Today, Jasper announced two new apps:

  • JasperGold Structural Property Synthesis (SPS)
  • JasperGold Behavioral
Read More

Formal Verification, there’s an App for that

Formal Verification, there’s an App for that
by Paul McLellan on 05-06-2012 at 6:00 pm

The success of Apple’s AppStore has made people aware that software doesn’t have to be delivered in a big monolithic lump. Indeed, going back a bit earlier, Apple’s iTunes store made people aware that you didn’t have to buy a whole album if you only wanted a track or two.

EDA applications in today’s… Read More