Blog Archive
June 2013
6/17/2013: Peggy Aycinena’s interview with Prakash Narain
6/14/2013: Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures — Part 1
6/10/2013: Photo Booth Blackmail!
6/03/2013: Real Intent is on John Cooley’s “DAC’13 Cheesy List”
May 2013
5/30/2013: Does SoC Sign-off Mean More Than RTL?
5/24/2013: Ascent Lint Rule of the Month: DEFPARAM
5/23/2013: Video: Gary Smith Tells Us Who and What to See at DAC 2013
5/22/2013: Real Intent is on Gary Smith’s “What to see at DAC” List!
5/16/2013: Your Real Intent Invitation to Fun and Fast Verification at DAC
5/09/2013: DeepChip: “Real Intent’s not-so-secret DVcon’13 Report”
5/07/2013: TechDesignForum: Better analysis helps improve design quality
5/03/2013: Unknown Sign-off and Reset Analysis
April 2013
4/25/2013: Hear Alexander Graham Bell Speak from the 1880′s
4/19/2013: Ascent Lint rule of the month: NULL_RANGE
4/16/2013: May 2 Webinar: Automatic RTL Verification with Ascent IIV: Find Bugs Simulation Can Miss
4/05/2013: Conclusion: Clock and Reset Ubiquity – A CDC Perspective
March 2013
3/22/2013: Part Six: Clock and Reset Ubiquity – A CDC Perspective
3/21/2013: The BIG Change in SoC Verification You Don’t Know About
3/15/2013: Ascent Lint Rule of the Month: COMBO_NBA
3/15/2013: System-Level Design Experts At The Table: Verification Strategies – Part One
3/08/2013: Part Five: Clock and Reset Ubiquity – A CDC Perspective
3/01/2013: Quick DVCon Recap: Exhibit, Panel, Tutorial and Wally’s Keynote
3/01/2013: System-Level Design: Is This The Era Of Automatic Formal Checks For Verification?
February 2013
2/26/2013: Press Release: Real Intent Technologist Presents Power-related Paper and Tutorial at ISQED 2013 Symposium
2/25/2013: At DVCon: Pre-Simulation Verification for RTL Sign-Off includes Automating Power Optimization and DFT
2/25/2013: Press Release: Real Intent to Exhibit, Participate in Panel and Present Tutorial at DVCon 2013
2/22/2013: Part Four: Clock and Reset Ubiquity – A CDC Perspective
2/18/2013: Does Extreme Performance Mean Hard-to-Use?
2/15/2013: Part Three: Clock and Reset Ubiquity – A CDC Perspective
2/07/2013: Ascent Lint Rule of the Month: ARITH_CONTEXT
2/01/2013: “Where Does Design End and Verification Begin?” and DVCon Tutorial on Static Verification
January 2013
1/25/2013: Part Two: Clock and Reset Ubiquity – A CDC Perspective
1/18/2013: Part One: Clock and Reset Ubiquity – A CDC Perspective
1/07/2013: Ascent Lint Rule of the Month: MIN_ID_LEN
1/04/2013: Predictions for 2014, Hier. vs Flat, Clocks and Bugs
December 2012
12/14/2012: Real Intent Reports on DVClub Event at Microprocessor Test and Verification Workshop 2012
12/11/2012: Press Release: Real Intent Records Banner Year
12/07/2012: Press Release: Real Intent Rolls Out New Version of Ascent Lint for Early Functional Verification
12/04/2012: Ascent Lint Rule of the Month: OPEN_INPUT
November 2012
11/19/2012: Real Intent Has Excellent EDSFair 2012 Exhibition
11/16/2012: Peggy Aycinena: New Look, New Location, New Year
11/14/2012: Press Release: New Look and New Headquarters for Real Intent
11/05/2012: Ascent Lint HDL Rule of the Month: ZERO_REP
11/02/2012: Have you had CDC bugs slip through resulting in late ECOs or chip respins?
11/01/2012: DAC survey on CDC bugs, X propagation, constraints
October 2012
10/29/2012: Press Release: Real Intent to Exhibit at ARM TechCon 2012 – Chip Design Day
September 2012
9/24/2012: Photos of the space shuttle Endeavour from the Real Intent office
9/20/2012: Press Release: Real Intent Showcases Verification Solutions at Verify 2012 Japan
9/14/2012: A Bolt of Inspiration
9/11/2012: ARM blog: An Advanced Timing Sign-off Methodology for the SoC Design Ecosystem
9/05/2012: When to Retool the Front-End Design Flow?
August 2012
8/27/2012: X-Verification: What Happens When Unknowns Propagate Through Your Design
8/24/2012: Article: Verification challenges require surgical precision
8/21/2012: How To Article: Verifying complex clock and reset regimes in modern chips
8/20/2012: Press Release: Real Intent Supports Growth Worldwide by Partnering With EuropeLaunch
8/06/2012: SemiWiki: The Unknown in Your Design Can be Dangerous
8/03/2012: Video: “Issues and Struggles in SOC Design Verification”, Dr. Roger Hughes
July 2012
7/30/2012: Video: What is Driving Lint Usage in Complex SOCs?
7/25/2012: Press Release: Real Intent Adds to Japan Presence: Expands Office, Increases Staff to Meet Demand for Design Verification and Sign-Off Products
7/23/2012: How is Verification Complexity Changing, and What is the Impact on Sign-off?
7/20/2012: Real Intent in Brazil
7/16/2012: Foosball, Frosty Beverages and Accelerating Verification Sign-off
7/03/2012: A Good Design Tool Needs a Great Beginning
June 2012
6/14/2012: Real Intent at DAC 2012
6/01/2012: DeepChip: Cheesy List for DAC 2012
May 2012
5/31/2012: EDACafe: Your Real Intent Invitation to Fast Verification and Fun at DAC
5/30/2012: Real Intent Video: New Ascent Lint and Meridian CDC Releases and Fun at DAC 2012
5/29/2012: Press Release: Real Intent Leads in Speed, Capacity and Precision with New Releases of Ascent Lint and Meridian CDC Verification Tools
5/22/2012: Press Release: Over 35% Revenue Growth in First Half of 2012
5/21/2012: Thoughts on RTL Lint, and a Poem
5/21/2012: Real Intent is #8 on Gary Smith’s “What to see at DAC” List!
5/18/2012: EETimes: Gearing Up for DAC – Verification demos
5/08/2012: Gabe on EDA: Real Intent Helps Designers Verify Intent
5/07/2012: EDACafe: A Page is Turned
5/07/2012: Press Release: Graham Bell Joins Real Intent to Promote Early Functional Verification & Advanced Sign-Off Circuit Design Software
March 2012
3/21/2012: Press Release: Real Intent Demos EDA Solutions for Early Functional Verification & Advanced Sign-off at Synopsys Users Group (SNUG)
3/20/2012: Article: Blindsided by a glitch
3/16/2012: Gabe on EDA: Real Intent and the X Factor
3/10/2012: DVCon Video Interview: “Product Update and New High-capacity ‘X’ Verification Solution”
3/01/2012: Article: X-Propagation Woes: Masking Bugs at RTL and Unnecessary Debug at the Netlist
February 2012
2/28/2012: Press Release: Real Intent Joins Cadence Connections Program; Real Intent’s Advanced Sign-Off Verification Capabilities Added to Leading EDA Flow
2/15/2012: Real Intent Improves Lint Coverage and Usability
2/15/2012: Avoiding the Titanic-Sized Iceberg of Downton Abbey
2/08/2012: Gabe on EDA: Real Intent Meridian CDC
2/08/2012: Press Release: At DVCon, Real Intent Verification Experts Present on Resolving X-Propagation Bugs; Demos Focus on CDC and RTL Debugging Innovations
January 2012
1/24/2012: A Meaningful Present for the New Year
1/11/2012: Press Release: Real Intent Solidifies Leadership in Clock Domain Crossing
August 2011
8/02/2011: A Quick History of Clock Domain Crossing (CDC) Verification
July 2011
7/26/2011: Hardware-Assisted Verification and the Animal Kingdom
7/13/2011: Advanced Sign-off…It’s Trending!
May 2011
5/24/2011: Learn about Advanced Sign-off Verification at DAC 2011
5/16/2011: Getting A Jump On DAC
5/09/2011: Livin’ on a Prayer
5/02/2011: The Journey to CDC Sign-Off
April 2011
4/25/2011: Getting You Closer to Verification Closure
4/11/2011: X-verification: Conquering the “Unknown”
4/05/2011: Learn About the Latest Advances in Verification Sign-off!
March 2011
3/21/2011: Business Not as Usual
3/15/2011: The Evolution of Sign-off
3/07/2011: Real People, Real Discussion – Real Intent at DVCon
February 2011
2/28/2011: The Ascent of Ascent Lint (v1.4 is here!)
2/21/2011: Foundation for Success
2/08/2011: Fairs to Remember
January 2011
1/31/2011: EDA Innovation
1/24/2011: Top 3 Reasons Why Designers Switch to Meridian CDC from Real Intent
1/17/2011: Hot Topics, Hot Food, and Hot Prize
1/10/2011: Satisfaction EDA Style!
1/03/2011: The King is Dead. Long Live the King!
December 2010
12/20/2010: Hardware Emulation for Lowering Production Testing Costs
12/03/2010: What do you need to know for effective CDC Analysis?
November 2010
11/12/2010: The SoC Verification Gap
11/05/2010: Building Relationships Between EDA and Semiconductor Ventures
October 2010
10/29/2010: Thoughts on Assertion Based Verification (ABV)
10/25/2010: Who is the master who is the slave?
10/08/2010: Economics of Verification
10/01/2010: Hardware-Assisted Verification Tackles Verification Bottleneck
September 2010
9/24/2010: Excitement in Electronics
9/17/2010: Achieving Six Sigma Quality for IC Design
9/03/2010: A Look at Transaction-Based Modeling
August 2010
8/20/2010: The 10 Year Retooling Cycle
July 2010
7/30/2010: Hardware-Assisted Verification Usage Survey of DAC Attendees
7/23/2010: Leadership with Authenticity
7/16/2010: Clock Domain Verification Challenges: How Real Intent is Solving Them
7/09/2010: Building Strong Foundations
7/02/2010: Celebrating Freedom from Verification
June 2010
6/25/2010: My DAC Journey: Past, Present and Future
6/18/2010: Verifying Today’s Large Chips
6/11/2010: You Got Questions, We Got Answers
6/04/2010: Will 70 Remain the Verification Number?
May 2010
5/28/2010: A Model for Justifying More EDA Tools
5/21/2010: Mind the Verification Gap
5/14/2010: ChipEx 2010: a Hot Show under the Hot Sun
5/07/2010: We Sell Canaries
April 2010
4/30/2010: Celebrating 10 Years of Emulation Leadership
4/23/2010: Imagining Verification Success
4/16/2010: Do you have the next generation verification flow?
4/09/2010: A Bug’s Eye View under the Rug of SNUG
4/02/2010: Globetrotting 2010
March 2010
3/26/2010: Is Your CDC Tool of Sign-Off Quality?
3/19/2010: DATE 2010 – There Was a Chill in the Air
3/12/2010: Drowning in a Sea of Information
3/05/2010: DVCon 2010: Awesomely on Target for Verification
February 2010
2/26/2010: Verifying CDC Issues in the Presence of Clocks with Dynamically Changing Frequencies
2/19/2010: Fostering Innovation
2/12/2010: CDC (Clock Domain Crossing) Analysis – Is this a misnomer?
2/05/2010: EDSFair – A Successful Show to Start 2010
January 2010
1/29/2010: Ascent Is Much More Than a Bug Hunter
1/22/2010: Ascent Lint Steps up to Next Generation Challenges
1/15/2010: Google and Real Intent, 1st Degree LinkedIn
1/08/2010: Verification Challenges Require Surgical Precision
1/07/2010: Introducing Real Talk!

Peggy Aycinena’s interview with Prakash Narain

Prakash Narain: creating a unique workplace culture at Real Intent

Every year, Forbes publishes a list of the Best Companies To Work For. The winners are always big companies, ones well known by you and me. The problem is that Forbes’ polling techniques are flawed. If they were not, EDA stalwart Real Intent would most definitely make the list, particularly if the folks from Forbes were to have been in on a recent phone call with Real Intent President & CEO Prakash Narain.

Read more



Jun 17, 2013 | Comments


Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures — Part 1

Vaishnav Gorur, Sr. Applications Engineer
Vaishnav Gorur, Sr. Applications Engineer

In Austin, at the 50th DAC earlier this month,  I delivered a poster presentation on “Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures”.   In this first blog in a series, I will set the stage for the issues around the case study of failures in a common clock domain crossing synchronizer.

At DAC 2012 last year, we surveyed more than 300 participants to understand trends in the CDC verification space.  More than half had a new design project starting within 3 months, which indicates reduced design cycles.  Almost 1/3rd had over 50 clock domains in their design. Extrapolating from our DAC 2011 survey, we see a definite trend of increasing CDC complexity.  Almost 2/3rd had to incur the penalty of an ECO due to a CDC bug.

For the reasons above, CDC Analysis tools topped their shopping list.

As CDC verification is becoming mainstream, it is imperative to refine and fine tune the CDC flow to balance the verification effort. As indicated by the pie-chart on the bottom-right, ‘Automatic Formal’ is another technology that the industry is looking to leverage. In this presentation, we show how the application of formal analysis in the CDC space can be used by design engineers to verify their CDC constructs and how this can alleviate the CDC verification challenge from the shoulders of verification engineers.

 

Whenever a signal changes too close to the clock edge it is being sampled on, the captured value is non-deterministic due to setup/hold violations. This phenomenon is called Metastability and without proper prevention and verification, metastability propagation could cause serious design errors. For synchronous designs, this is not a major issue as Static Timing Analysis (STA) tools can flag these issues with setup/hold checks.

However, metastability is an unavoidable issue for signals crossing asynchronous clock domains as clock domain crossings are not timed by STA tools. Due to the asynchronous nature of the transmit and receive clocks, it is possible that the transmit data might change within the setup and hold window of the receive clock, hence resulting in an unpredictable value and delay at the output of the flop.

To avoid the pitfalls of Metastability, designers use certain synchronization schemes to ensure correct exchange of information between asynchronous clock domains. One such common scheme is depicted below, where a synchronized control signal is used to enable the loading of the data being sent from the transmitting domain to the receiving domain.

A ‘control’ signal is one that is synchronized directly by a multi-flop synchronizer. A ‘data’ signal is one that is not directly synchronized but whose synchronization is controlled by a corresponding ‘control’ signal.

The conditions that need to be met by the control and data signals in such a scheme are outlined below. The two conditions highlighted in Green are candidates for formal analysis to verify. These two conditions are the focus of this presentation and are described later on.

Design flows that do not currently leverage a dedicated CDC verification tool attempt to fill in the gap by using custom scripts wrapped around STA tools and custom gate-level simulation environments. Typically, these are cumbersome to maintain and are not scalable.

Due to the adoption of the above approaches, the CDC problem has traditionally been deemed a back-end issue and left to the verification and CAD engineers to tackle. This often leads to lengthy verification and debug iterations due to incomplete understanding of the CDC nuances of the design. Additionally, CDC verification done later in the flow translates to a longer delay waiting for the design fix to be rerun through all the earlier stages in the flow.

Our recommendation is to move CDC verification to the design team and adopt a flow involving automatic formal CDC technology. By being automatic and not requiring the developement of a testbench or specification of assertions, automatic formal technologies preclude the traditional verification maxim that a designer should not verify his/her own block. At the same time, it leverages the fact that a designer understands the CDC constructs in the design and can quickly comprehend a failure signature and make an appropriate design fix. This shortens the CDC verification cycle and results in higher quality RTL handoffs to downstream teams.

In the next blog, I will discuss a case study involving non-intuitive failure signatures to support this recommendation.

 



Jun 14, 2013 | Comments


Photo Booth Blackmail!

Graham Bell   Graham Bell
   Sr. Director of Marketing of Real Intent

Real Intent had a photo booth at its exhibit in Austin this week at the Design Automation Conference.  I thought it would be cool to give a photo souvenir of the 50th conference for anyone who strolled by.  On hand to work the booth were Julia and Antonio and they helped everyone enjoy themselves.

We had lots of fun hats, glasses, props, and feather boas for dress up.   Between Julia and myself we were able to get some great photos.  Here are just a few for your viewing pleasure.   And at the bottom of the page, you can click on the link to see blackmail photos for ARM, Synopsys, Cadence, Mentor Graphics, Breker, Oasys, Excellicon, Blue Pearl, LibTech, DeFacTo, Concept Eng, Tela, Oski Tech, Tanner, AMIQ, ClioSoft, Chip Path, Forte, Open Text, GlobalFoundries, Adapt IP, ThinkBold, Cayenne, and IBSystems (EDACafe).   Enjoy!

Feeling Good!

Rockin’ It!

Three Amigos!

 

Click Here to See the Full Blackmail Photo Gallery



Jun 10, 2013 | Comments


Real Intent is on John Cooley’s “DAC’13 Cheesy List”

John Cooley: “My Cheesy Must See List for DAC 2013″

Real Intent Meridian CDC has “System Verilog and SDC support; improved bus handling, faster formal engine, new reporting and configurability that reduces noise; processes 500 M gates of RTL in 12 hours WITHOUT needing abstraction models that SpyGlass and Questa need.” CDC sign-off analysis. Nvidia, Cavium, Magnum. (booth 1031) Ask Sarath Kirihennedige. Freebie: flashlight

 

Real Intent Ascent Lint — Version 2.0 has 60 new rules, new FSM checks; new Emacs; runs faster and lints 450 M gates 1 hour, with “no need for hierarchical processing like Atrenta”. Nvidia says they see “50x faster runs vs. Atrenta SpyGlass”.

 

Real Intent Ascent XV does “fast static hazard analysis to find X-sources and nets susceptible to X-issues. X-optimism bugs are isolated during RTL simulation. At netlist level, X-pessimism is identified and corrected. Now does X audits for power-up. (booth 1031) Ask Lisa Piper. Freebie: flashlight



Jun 3, 2013 | Comments


Does SoC Sign-off Mean More Than RTL?

Graham Bell   Graham Bell
   Sr. Director of Marketing of Real Intent

This blog was first published in the System-Level Design Community of Chip Design Mag.

As the cost of failure continues to rise, SoC engineers see the growing importance of ensuring their work is as correct as possible as soon as possible in the design process. They cannot afford to carry errors forward from one stage to the next, where their impact grows while their causes become more obscured.

This requirement is driving the shift in design exploration and hand-off to the register transfer level. Using RTL for sign-off eases the integration of heterogeneous IP and makes it easier to check that the blocks are interfacing correctly with the host design, easier to check how clocks will cross these interfaces, and easier to check different power signatures and design testability. It also cuts the functional simulation load, especially when designs are being exercised at the system-level by reducing the number of states and the necessity to check for correct functionality.

What tools are available to improve the quality of RTL code before it reaches simulation and passes to synthesis? The latest generation of lint technology can handle full-chip designs of 500 million gates or more, and yet still can offer concise reporting. Timing constraints management and checking ensures correct timing for the block and full-chip level, so long as any changes in the RTL are reflected in the SDC files for the design. The SDC itself needs to be verified for correctness and consistency, and is essential for sign-off-grade analyses such as clock design crossing (CDC).

Reset analysis ensures that the design will come in a known good state, and later iterations of the design can be used to save chip area and routing resources through a more intelligent application of reset signals.

Automatic formal verification techniques can be used to find obscure functional bugs in the RTL, especially in finite state machines, and root out issues such as bus contention or dead code that violate the implicit intent of the RTL.

Clock domain crossing analysis, so important in these days of design reuse, IP, and complex power management schemes, can be carried out using a combination of formal and structural methods, which helps trap the corner case combinations of timing and functionality that lead to errors.

Power analysis and optimization techniques address issues such as reset checking, retention flop and isolation-cell analysis and optimization, clock/power gating, and sequential/combinational optimizations. These interventions can be so extensive that it makes sense to go back to the linting stage to recheck the design, and to clear the way for DFT analysis and optimization.

Working at the RTL signoff level means that even those without DFT expertise can develop DFT strategies and analyze them for the testability they bring to the design.

As a last step, it is important to manage the way that the simulation and synthesis processes handle the unknown (X) states thrown up by power management strategies that turn blocks on and off, and complicates clock-crossing domains. A proper analysis of this issue can reveal functional bugs that have been hidden at the RTL level by too much optimism about the impact of X states, and can reduce the impact of excessive pessimism about the impact of X states after synthesis.

But is RTL signoff also signoff for the SoC? For specific problems such as clock-domain crossing, consistency of SDC, X-propagation issues including reset optimization, and design for testability, the answer is no. Why? Because despite our desire to eliminate gate-level analysis, it is still required to sign off on specific problems. Unfortunately, gate-level analysis severely strains the capacity of EDA tools and processing times are not fast. Only the best-in-class tools can handle both the RTL and gate-level views of the design.

Can legacy RTL tools achieve the desired signoff, or are a new generation of tools needed?

Design teams for years have used a linting-based technology for analysis of designs. When issues are uncovered they are either fixed or waived by the designer. This approach has been used for IP or block-level qualification. We now see attempts to adapt this dated technology for full-chip analysis using an abstraction model for the IP blocks, and then doing a top-level check. This is not a sign-off technology, because the abstraction process blindly omits important details from the block-level. We believe the correct approach is to use a solution that has been architected from the ground up to attack a specific problem domain, and one that uses a smart hierarchical approach that retains block-level information. This will handle both RTL and gate-level views, and will deliver the speed, capacity and precision needed for a sign-off solution.

Real Intent is at booth #1031 at the Design Automation Conference in Austin, TX. Stop by and we would be happy to discuss SoC sign-off with you.



May 30, 2013 | Comments


Ascent Lint Rule of the Month: DEFPARAM

Shiva Borzin   Shiva Borzin
   Technical Marketing Manager

This month we are going to look at the use of the  parameter statement in Verilog, which is used to define a constant local to a module.  References to a parameter are made by using its name.  A parameter can be redefined on an instance-by-instance basis in two different ways: parameter redefinition in the instantiation itself, or by using a defparam statement.

Use of the defparam statement can easily cause confusion and trouble in the following ways:

  • Hierarchically changing the parameters of a module which may not be visible at the level of the affected module
  • Placing the statement in a separate file from the instance being modified
  • Using multiple statements in the same file to change the parameters of an instance
  • Using multiple statements in multiple different files to change the parameters of an instance

To avoid unintended constant redefinitions, some companies disallow the use of defparam statements in their design flows.   In the following example, the value of the parameter top.SIZE is changed at the very bottom level of hierarchy and may easily be missed. The designer may think that the SIZE and WIDTH parameters are still set to 8 as opposed to 4.

module top (q, d, clk, rst);

  parameter SIZE = 8;

  output [SIZE-1:0] q;

  input [SIZE-1:0] d;

  input  clk, rst;

  myregb # (SIZE) r1 (.q(q), .d(d), .clk(clk), .rst(rst));

endmodule

 

module myregb (q, d, clk, rst);

  parameter  WIDTH = 8;

  output [WIDTH-1:0] q;

  input [WIDTH-1:0] d;

  input  clk, rst;

  dff # (WIDTH) myflop (.q(q), .d(d), .clk(clk), .rst(rst));

endmodule

 

module dff (q, d, clk, rst);

  parameter C = 1;

  output [C-1:0] q;

  input [C-1:0] d;

  input clk, rst;

  reg [ C-1:0] q;

  defparam top.SIZE = 4;

  always @ (posedge clk or posedge rst)

        if (rst) q <= 0;

        else    q<= d;

endmodule

The Ascent Lint rule DEFPARAM catches the use of defparam statements in Verilog designs so they can be removed. The question remains what is the best way to redefine the value of a parameter that does not cause confusion for designers and waste precious debug time.

Instead of using defparam statements to redefine the value of a parameter, designers are advised to use the named parameter redefinition method introduced in Verilog-2001.   This is a superior method over the positional parameter assignment list introduced in Verilog-1995.    Ascent Lint rule POS_PARAM_LIST catches the cases where positional parameter redefinition is used.  In the above example, the following instantiations use the positional parameter assignment method and will cause two violations if the rule POS_PARAM_LIST is enabled:

  myregb # (SIZE) r1 (.q(q), .d(d), .clk(clk), .rst(rst));

  dff # (WIDTH) myflop (.q(q), .d(d), .clk(clk), .rst(rst));

To increase clarity of the design and prevent design bugs, the instantiations should use named parameter assignment as:

  myregb # (.WIDTH(SIZE)) r1 (.q(q), .d(d), .clk(clk), .rst(rst));

  dff # (.C(WIDTH)) myflop (.q(q), .d(d), .clk(clk), .rst(rst));

Ascent Lint offers other parameter related rules.  For more information, please leave me a comment or contact Real Intent at info@realintent.com.

*Note: The defparam statement has been depreciated, meaning that it may be removed from the Verilog language in a future revision of the Verilog LRM.

 

References: Clifford E. Cummings, New Verilog-2001 Techniques for Creating Parameterized Models.



May 24, 2013 | Comments


Video: Gary Smith Tells Us Who and What to See at DAC 2013

Graham Bell   Graham Bell
   Sr. Director of Marketing of Real Intent

Real Intent is again, this year, on Gary Smith’s writeup of “must see” products at DAC 2013 in the RTL Sign-off category.

I spoke with Gary Smith on Tuesday, May 21, to get his thoughts on who made the list and why, and other events at DAC you should know about… like the Denali Party.  The sound has some noise in it and I apologize for that.  Still the video is worth watching. Enjoy!



May 23, 2013 | Comments


Real Intent is on Gary Smith’s “What to see at DAC” List!

Gary Smith EDA: What to see @ DAC 2013

GarySmithEDA



May 22, 2013 | Comments


Your Real Intent Invitation to Fun and Fast Verification at DAC

See the Latest Developments in Ascent Early Verification and Meridian CDC Sign-off

BeagleBone Black 1GHz ComputerYou are invited to visit the Real Intent booth at the 50th DAC. Real Intent is known for having the fastest, highest-capacity verification tools for early functional analysis including Lint, and for advanced timing sign-off of designs with multiple clock domains (CDC) at both RTL and gate-level.

By completing our quick survey at the booth, you will be entered into drawings for a cool BeagleBone Black 1Ghz computer. There’s More! Our free photo-booth will give an entertaining take-away for you and your colleagues. You can look forward to both fast verification and fun times at this year’s DAC!

Our technical presentations will bring you up to date with our new product releases that have been proven on 500M+ gate SoC designs. Click on the links below to book your appointment at the Real Intent booth #1031.

New Ascent Lint 2.0 Release with Advanced Debugging
We’ve taken the industry’s fastest linter for clean RTL before simulation and synthesis to a new level. Since DAC 2012, more than 65 comprehensive unique rules have been added to Ascent Lint 2.0, while maintaining its analysis speed of 450M gates in less than one hour, with no need for hierarchical processing. See why Integrated Device Technology says “the product is easy to use and debug is fast and efficient.” Come and preview our new 2013 release which expands our high coverage rule set and introduces new design source file functionality. Schedule a Time.

Meridian Clock Domain Crossing with Advanced Flows and Management Features
Meridian CDC continues to advance its market-leading speed, capacity and low-noise analysis of asynchronous clock domains in SoC designs. At DAC 2013, we preview in private meetings our next generation CDC management solution with a new waiver-free flow. You will not want to miss seeing the future for advanced sign-off. Schedule a Time.

Ascent XV: Complete Solution for X Verification
Ascent XV provides a comprehensive solution and flow for making an RTL design X-robust. It enables clean RTL simulation in which performance and bug coverage is not impacted by X-effects. Unique reset analysis identifies uninitialized flops early in the design phase and suggests a minimal number of hardware resets for complete initialization which reduces routing overhead. The comprehensive X-hazard report identifies all X-sources, X-sensitive nets and ranks which nets to analyze first. The automatic generation of X-accurate models allows X-optimism functional bugs to be unmasked during RTL simulation. Ascent XV provides initialization and optimization capability for power-managed blocks to ensure that the combination of resets and retention flops are able to establish a known state. At the netlist level, Ascent XV identifies and corrects X-pessimism saving weeks on gate-level simulation. At DAC, discover the most comprehensive solution for X-verification. Schedule a Time.

Meridian Constraints: Comprehensive SDC Management and Verification
With Meridian Constraints, SDC is verified for completeness and correctness from design inception, through synthesis to back-end place and route. In a private meeting, preview our new interface which tightly integrates with the rest of your tool flow. Schedule a Time.

Ascent IIV: Automatic Detection of Functional Bugs Without a TestBench
Ascent IIV goes beyond Ascent Lint by leveraging formal techniques for functional verification. It uses the implied intent of the RTL to automatically formulate checks. Ascent IIV provides an immediate return on investment by quickly finding elusive bugs in RTL blocks and by pinpointing the root cause of the problem. Its smart reporting prioritizes your debug effort by marking up to 90% of the failures as secondary or duplicate, reducing the time spent on analysis. Discover the new 2013 release with substantial performance improvements, an improved reporting structure and important new FSM checks. Schedule a Time.

Joint Meridian CDC and DeFacTo SIGNOFF DFT Flow Presentation
For the first time, see a combined RTL sign-off flow for both CDC and DFT that accelerates the sign-off process. The new flow integrates DeFacTo’s SIGNOFF RTL DFT evaluation and enhancement platform, with Real Intent’s Meridian CDC, offering a best-in-class solution for SoC design teams worldwide. Schedule a Time.

 



May 16, 2013 | Comments


DeepChip: “Real Intent’s not-so-secret DVcon’13 Report”

Prakash Narain   Prakash Narain, Ph.D.
   President, CEO Real Intent, Inc.

DeepChip: “Real Intent’s not-so-secret DVcon’13 Report”

Hi, John,

After the recent DVcon’13 in February in Santa Clara, the employees inside Real Intent collectively got together and wrote this trip report about the conference. I hope your DeepChip readers like it.

- Prakash Narain

Real Intent, Inc.                Sunnyvale, CA

Read more



May 9, 2013 | Comments