Author

R. Goering

3 papers · 1997–2006

1997peak 1 in 19972006

Frequent co-authors

Papers

showing 1–3 of 3 RSS

Are today's verification tools able to handle current design challenges?

R. Goering, R. Fans, Kim G. Larsen +2 more

Hardware and Architecture · 15 Aug 2006 · cited 0× · DOI ↗ · more like this ·

Summary form only given. With the ever increasing growth of size and complexity of digital designs, tools have just kept pace. Design engineers bare the brunt of the problem. To make use of dynamic verification, designers invest as much or more time into their testbenches as they do in the design they are creating. For static or formal verification, large designs with complex state spaces have challenged even the most powerful formal tools. What changes are coming in the design and EDA spaces that will improve this situation? What is the right mix of dynamic and static verification for the future?.

Panel: what is the proper system on chip design methodology?

R. Goering, Stan Krolikoski

Hardware and Architecture · Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) · 1999 · cited 0× · DOI ↗ · more like this ·

Over the past year two distinct answers have emerged regarding system on chip (SoC) design methodologies. On the one hand, it is posited in the Reuse Methodology Manual, that a logic synthesis-based design methodology can be used effectively to develop system chips. An alternative methodology focuses on integration (or "reference") platforms and the customization of the basic application-specific platform through the addition of selec:ed SW andor HW IP blocks. This panel session will debate the merits of these seemingly incompatible proposed SoC methodologies.

The next-generation HDL (panel)

R. Goering, Nanette Collins, Steven E. Shulz +6 more

Hardware and Architecture · 1997 · cited 0× · DOI ↗ · more like this ·

The recent market battle between VHDL and Verilog HDL has obscured the larger issueof whether either of these languages is adequate for next-generation design. Can they beextended, or do we need an entirely new language that's constructed to handle system-leveldesign descriptions, behavioral and logic synthesis, simulation, and formalverification? If so, how should that language be created?