company's systems and functional-verification group, has been forging links with co-design and embedded-software companies, and with users in the telecom and automotive markets, to build a superset of ...

the dynamic behavior of an executable UML model, and how a model of an SoC design can be verified before committing to a hardware-software partition.

Loughborough University Enterprises Ltd. is also a shareholder. FalconML initiates the design process at the UML specification level, something frequently done in software writing. It enables software ...