April 17, 2006
Formal From Spec to Sign Off - Real Intent
Please note that contributed articles, blog entries, and comments posted on EDACafe.com are the views and opinion of the author and do not necessarily represent the views and opinions of the management and staff of Internet Business Systems and its subsidiary web-sites.
Jack Horgan - Contributing Editor

by Jack Horgan - Contributing Editor
Posted anew every four weeks or so, the EDA WEEKLY delivers to its readers information concerning the latest happenings in the EDA industry, covering vendors, products, finances and new developments. Frequently, feature articles on selected public or private EDA companies are presented. Brought to you by EDACafe.com. If we miss a story or subject that you feel deserves to be included, or you just want to suggest a future topic, please contact us! Questions? Feedback? Click here. Thank you!

Freescale Introduces Industry-First Flash-Based 32-bit Microcontroller Families for Single-Chip Connectivity Freescale introduces two 68K/ColdFire microcontroller product families for industrial control applications ranging from remote data collection and security enhancements to home automation and environmental monitoring. The MCF5223x device family is the first 32-bit microcontroller to deliver a Fast Ethernet Controller, Ethernet PHY and flash memory in a single-chip solution. The MCF5222x device family offers the industry's first 32-bit microcontroller with integrated USB On-The-Go and
flash memory. It allows two USB devices to communicate without a host interface, making it ideal for system-to-system communication applications.

Can the chip design - verification divide be plugged in with some knee jerk band aid type strategies? Opinion: Formal verification does not work well on data paths or on large pieces of control logic. A formal verification tool is most efficient when it is used for controlled surgical strikes on small pieces of most complex control logic like the ones in arbiters and cache coherency checkers. Formal verification should begin in the early stages of design and is not suited at all for chip level verification. Similarly, Random Test Pattern Generation or RTPG can be an invaluable tool in getting
to the corner case bugs in simulation that cannot be imagined by the verification engineer, but is useful only if it is kept targeted or directed towards the functionality where we are wary of the existence of bugs. All designs should be verified in a silicon kind of a situation, whether it is FPGA, hardware accelerated or an emulation solution. At that time, O/S kind of a code that will eventually be what the customer will see of the design must be run on the design to ensure that the design will do fine in the cool looking colorful device that is sold in the market.

EDA Startup Nangate Secures $10M in Venture Capital Nangate Inc., announced that it has raised $10M in series A financing from a consortium of investors, including Vaekstfonden, IVS and SEED Capital. The company employs more than 40 people worldwide, with engineering operations in Copenhagen, Denmark and Moscow, Russia. In addition, the company has established an advanced research division in Porto Alegre, Brazil and sales and support offices in Silicon Valley. Nangate tool suite increases the efficiency of digital CMOS ICs to levels previously only achievable with extensive manual efforts
and very large design teams. Targeting the inherent shortcomings of predefined 'one-size-fits-all' standard cell libraries, Nangate provides a range of library optimization tools and solutions that can effectively optimize power consumption and maximize performance while minimizing chip area.

Cadence Announces Executive and Engineering Fellow Promotions on Back of Strong 2005 Business Performance Bill Porter, who joined Cadence in 1994 as corporate controller and has served as SVP and CFO since 1999, was promoted to executive vice president and chief financial officer. Jim Miller was also promoted to executive vice president, Products and Technologies Organization. Miller manages the global Cadence research and development organization responsible for delivering core (digital, analog, RF, mixed signal) and DFM adjacency products and technologies. Miller joined Cadence in 2004 with
more than 20 years experience in engineering and management.

Other EDA News

Other IP & SoC News

« Previous Page 1 | 2 | 3 | 4             

You can find the full EDACafe event calendar here.

To read more news, click here.

-- Jack Horgan, EDACafe.com Contributing Editor.


Review Article Be the first to review this article
Featured Video
More Editorial  
Verification Engineer for Ambarella at Santa Clara, CA
Technical Support Engineer Germany/UK for EDA Careers at San Jose, CA
Timing Design Engineer(Job Number: 17001757) for Global Foundaries at Santa Clara, CA
Engr, Elec Des 2 for KLA-Tencor at Milpitas, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Upcoming Events
CDNLive Silicon Valley 2017 at Santa Clara Convention Center Santa Clara CA - Apr 11 - 12, 2017
10th Anniversary of Cyber-Physical Systems Week at Pittsburgh, PA, USA PA - Apr 18 - 21, 2017
DVCon 2017 China, April 19, 2017, Parkyard Hotel Shanghai, China at Parkyard Hotel Shanghai Shanghai China - Apr 19, 2017
Zuken Innovation World 2017 at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy