16
Symposium Panel: Exploring Embedded Software Synthesis and Software Driven Verification Jim Hogan March 6 2014 @ DVCon

Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

  • Upload
    lekhanh

  • View
    245

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Symposium Panel:

Exploring Embedded Software Synthesis and Software Driven

Verification

Jim Hogan March 6 2014 @ DVCon

Page 2: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

The Software application ’s behavior governs hardware architecture

Page 3: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Raj Nair Ford Motor Company’s group vice president, Global Product Development

“There are more lines of code in a Ford Fusion than a Boeing 777 ”

Page 4: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Cloud

The Value is in the System

Sensor

Hub

Big Data Analytics

Page 5: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Cloud

The Value is in the System

Sensor

Hub

Big Data Analytics

Verification?

Page 6: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

The panel will discuss trends, opportunities, challenges in two co-related topics of embedded software synthesis (specifically device driver software) and software driven verification

Symposium Panel:

Page 7: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Device driver software synthesis• Can device driver software be automatically generated?

• What are the advantages of this methodology?

• How do you tackle the challenge of legacy software?

• What is required from an industry-wide adoption

• standpoint or to make this technology mainstream?

• Will such a technology scale-up for complex and highly programmable devices on one end and various operating environments (from embedded to enterprise) on the other end?

Page 8: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Software Driven Verification.• Is software the missing piece in SoC

verification especially with highly programmable SoCs?

• What are the trends, opportunities, challenges in this domain?

• How scalable is this from simulation to emulation to FPGA platforms?

Page 9: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Tomas Evensen• Tomas Evensen is the Chief Scientist, Embedded Software at Xilinx. In

this role he is responsible for the embedded software strategy for Xilinx’s All Programmable SoCs.

• Prior to joining Xilinx, Tomas was Chief Technology Officer at Wind River for 7 years, as well as GM for the Wind River Tools Division. Before that he was the creator of the Diab Data C/C++ compilers.

• Tomas received his MSEE at the Royal Institute of Technology in Stockholm, Sweden.

Page 10: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Parag Naik• Parag Naik is a serial entrepreneur with over

20 years of industry experience, out of which 9 years have been in high technology startups. Parag co-founded Saankhya Labs and is the CTO. He drives the overall technology and is directly responsible for the Wireless DSP, DSP firmware, DSP tool and Systems groups, as well as Product Marketing and Business Development.

• Prior to Saankhya he co-founded Smart Yantra Technologies and Vayavya Labs, India’s first EDA company. At Vayavya, he was one of key contributors in defining the Device Driver generator product, which is the first of its kind in the industry and the company’s flagship product. He is currently a member on the Board of Directors.

• Parag holds a Bachelor’s degree in Computer Science and Engineering from Karnataka University, India.

Page 11: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Frank Schirrmeister• Frank Schirrmeister is the Product

Marketing Group Director, System Development, System & Verification Group (SVG) at Cadence. He is responsible for product marketing of the Cadence System Development Suite, accelerating system integration, validation, and bring-up with a set of four connected platforms for concurrent HW/SW design and verification.

• Prior to Cadence, Frank led product marketing for systems product portfolio at Synopsys, where he built the strategic plan to expand the product portfolio beyond hardware into embedded software markets.

• Frank holds a Diplom-Ingenieur from the Technical University of Berlin.

Page 12: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Thanks

Page 13: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

George Lotridge• George Lotridge is a Senior Technology

Strategist at VMware, where he manages a program called Emerging Technology Partners to foster growth of VMware’s partner ecosystem around its new partners and emerging technologies.

• Prior to VMware, George was part of the EMC Solutions Group organization where he was the Technical Partner Manager for the VMware relationship. George was with RSA Security since 2001 and was head of the RSA Development Center, which he founded in 2006. George worked at IBM for 18 years.

• George holds a BS in Computer Science from the State University of New York at Stony Brook and he held a CISSP certification during his time at RSA.

Page 14: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Michael Bair

• Michael Bair is a Principal Engineer at Intel Corp., where he’s spent the past 17 years. Michael is primarily centered in the world of HW Validation, but spends the majority of his time attempting to optimize Validation for the whole: SW, FW, Platform, and Devices. Michael began his career on the original Intel Pentium 4 design and continued on through other CPUs such as the Nehalem and Haswell processors, and currently works in the world of devices.

• Michael wrote much of the HW Validation philosophy for Intel, driving training and standards for much of the company.

• Michael holds a BSEE from the University of Michigan.

Page 15: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Thanks

Page 16: Exploring Embedded Software Synthesis and Software … · Exploring Embedded Software Synthesis and Software Driven Verification ... generator product, ... life and continuously optimize

Conclusion • Smart phones morph from moving information to being

the central hub of our life’s management• The Internet of Things will give small efficient device to

monitor the things that make a positive difference in our quality of life

• The Cloud virtual or physical will store the fabric of our life and continuously optimize information for the best quality of life

• Software will grow exponentially more diverse and so will the hardware that serves it

• Verification of software applications and hardware will become increasingly the issue central to innovation and proliferation