Printer Friendly
The Free Library
19,122,084 articles and books
Member login
User name  
Password 
 
Join us Forgot password?

ControlNet Releases TCP/IP Stack Verification Intellectual Property for OpenVera Hardware Verification Language.


Business Editors/High-Tech Writers

CAMPBELL, Calif.--(BUSINESS WIRE)--Dec. 9, 2002

OpenVera Verification Module for TCP/IP Stack Standard Cuts Down Time

to First Test

ControlNet India Pvt. Ltd., a leading provider of electronic Integrated Circuit (IC) and software development services, today announced the immediate availability of TCP/IP Stack OpenVera(TM) verification intellectual property (IP). This verification IP provides pre-verified, standards-compliant, plug and play OpenVera modules that cut down overall verification time for engineers validating TCP/IP TCP/IP
 in full Transmission Control Protocol/Internet Protocol

Standard Internet communications protocols that allow digital computers to communicate over long distances.
 Stack-based designs.

"ControlNet is a leading provider of design services and verification IP for networking and connectivity markets," said P. Sridhar, CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board.  of ControlNet India. "Our team has in-depth exposure on all layers of networking, from the physical layer to the application layer, and has built an extensive verification environment for our clients. The TCP/IP Stack verification IP for OpenVera enables users to quickly generate the TCP/IP protocols to test and validate their designs for IP, TCP (1) (Transmission Control Protocol) The reliable transport protocol within the TCP/IP protocol suite. TCP ensures that all data arrive accurately and 100% intact at the other end. , ICMP (Internet Control Message Protocol) A TCP/IP protocol used to send error and control messages. For example, a router uses ICMP to notify the sender that its destination node is not available. , and UDP UDP (uridine diphosphate): see uracil.


(User Datagram Protocol) A protocol within the TCP/IP protocol suite that is used in place of TCP when a reliable delivery is not required.
 features. In addition, this verification IP enables our customers to generate packets at the application layer to improve the efficiency of test generation."

TCP/IP stack OpenVera models support IPv4, TCP, UDP, and ICMP protocols. The verification IP provides random traffic generators and monitors for design under test (DUT DUT Dutch (language)
DUT Device Under Test
DUT DiplĂ´me Universitaire de Technologie (French University Graduation in Technology)
DUT Dalian University of Technology (also seen as DLUT) 
) -- which supports the aforementioned protocols -- and provides the exhaustive compliance suite to test the DUT's compliance to given protocols. The verification IP will also facilitate DUT testing, which implements TCP/IP Stack in silicon, such as routers, switches and network connectivity design cards.

"Verification IP is an integral component of the verification environment. It provides enhanced productivity to system and ASIC (Application Specific Integrated Circuit) Pronounced "a-sick." A chip that is custom designed for a specific application rather than a general-purpose chip such as a microprocessor.  designers by reducing the time to create the verification infrastructure and testbench environment, including the required models," said James Watts, OpenVera program manager at Synopsys, Inc. (Nasdaq:SNPS SNPS Space Nuclear Power System ) "OpenVera verification IP gives users the ability to test against the standard without the need to learn all of the standard's details, greatly reducing overall verification time."

Key Features of ControlNet's OpenVera Verification IP:

ControlNet's OpenVera verification IP supports protocols TCP, Ipv4, UDP, ICMP (echo and echo reply packets only). The verification IP comes with a compliance test suit to validate IP, TCP, ICMP and UDP protocol implementation. The following is a partial list of TCP/IP verification features. For a complete list of features, including UDP and ICMP features, visit our website: www.controlnetindia.com/ip.php.

IP Features:
-- Programmable IP header for all packets

-- IP checksum calculation and checking


TCP Features:

-- Connection establishment process for TCP connection

-- Programmable maximum number of TCP connection, maximum number

of listen ports

-- Transmission and reception of TCP packets

-- TCP packets are fully programmable

-- Supports following optional data fields in TCP packets:

maximum segment size, window scale factor and time stamp

-- Error forcing in TCP packets

-- Sends acknowledgement packets in response to correct TCP

packet received

-- While transmission and reception packets are dumped to log

file

-- Hex dump for transmitted and received packet is also supported

-- Display of error in the packet (if any) and also error

information register for user or application purpose

-- Connection termination and abort process

-- Connection timeout and packet retransmission

-- Programmable keep alive timer, sending keep alive probe and

programmable persistent timer

-- TCP checksum A value used to ensure data are stored or transmitted without error. It is created by calculating the binary values in a block of data using some algorithm and storing the results with the data.  calculation and checking

Pricing and Availability

The TCP/IP Stack OpenVera verification IP is available now and supports Verilog and VHDL (VHSIC Hardware Description Language) A hardware description language (HDL) used to design electronic systems at the component, board and system level. VHDL allows models to be developed at a very high level of abstraction.  designs. It comes with full documentation and sample test cases. Please contact: sales@controlnet.co.in for pricing information.

About OpenVera and OpenVera Assertions

OpenVera is an open source hardware verification language A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high-level programming language like C++ or Java as well as features for  developed to meet the unique requirements of functional verification. OpenVera Assertions (OVA) is a high-level language that contains powerful declarative constructs for accurately capturing design specification and is useful in both dynamic and formal verification environments. With these languages, design and verification engineers describe the target application environment, including complex protocols and data objects, at a high level of abstraction The level of complexity by which a system is viewed. The higher the level, the less detail. The lower the level, the more detail. The highest level of abstraction is the single system itself. , which significantly improves productivity, readability and reusability. For more information on OpenVera and OVA, visit www.open-vera.com.

About ControlNet India

ControlNet India is a wholly owned subsidiary Wholly Owned Subsidiary

A subsidiary whose parent company owns 100% of its common stock.

Notes:
In other words, the parent company owns the company outright and there are no minority owners.
 of ControlNet Inc, headquartered in Campbell, California, USA. ControlNet India delivers state-of-the-art ASICs, IP cores, rapid proto-typing (FPGA (Field Programmable Gate Array) A type of gate array that is programmed in the field rather than in a semiconductor fab. Containing up to hundreds of thousands of gates, there are a variety of FPGA architectures on the market. ), design consulting services and software to the global electronics industry. ControlNet India offers total one-stop solutions for SoC realization, featuring RF, analog and mixed-signal ASIC capabilities. The mission is to create a world-class organization, by creating a center of excellence with continuous technology innovation and focused to achieve customer satisfaction through PACT- Performance, Accuracy, Cost effectiveness and Timeliness.

ControlNet India develops and delivers design solutions right from concept to systems in niche areas using the latest technology and tools from leading EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board.  vendors. To learn more, please visit http://www.controlnetindia.com/

Synopsys is a registered trademark of Synopsys, Inc. OpenVera is a trademark of Synopsys. All other trademarks or registered trademarks mentioned in this release are the intellectual property of their respective owners.
COPYRIGHT 2002 Business Wire
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2002, Gale Group. All rights reserved. Gale Group is a Thomson Corporation Company.

 Reader Opinion

Title:

Comment:



 

Article Details
Printer friendly Cite/link Email Feedback
Publication:Business Wire
Date:Dec 9, 2002
Words:816
Previous Article:Inktomi Regains Compliance with NASDAQ Listing Requirements.
Next Article:Netsys Releases PCI Express Verification Intellectual Property Based On OpenVera Assertions.



Related Articles
Synopsys Opens Vera Language to Provide an Open Platform to Unify the Verification Market.
TI INTRODUCES PROTOCOL STACK TO SIMPLIFY NETWORK CONNECTION FOR DSP-BASED INTERNET APPLIANCES.
Synopsys Launches OpenVera Catalyst Program; Twenty Leading Companies to Provide OpenVera Verification Intellectual Property and Expert Verification...
HCL Technologies Releases I2C OpenVera Verification IP; Powerful Verification Model for Functional Verification of I2C-Based SoCs.
EV Engineering Joins The OpenVera Catalyst Program.
Netsys Releases PCI Express Verification Intellectual Property Based On OpenVera Assertions.
Silicon Interfaces Announces Bluetooth and USB 2.0 OpenVera Assertions-Based Verification Intellectual Property.
Synopsys Announces Growing Industry Support for OpenVera Assertions.
Velocity Semiconductor debuts first in series of mixed-language microcontrollers.
Unisys selects Denali for PCI Express interface development.

Terms of use | Copyright © 2012 Farlex, Inc. | Feedback | For webmasters | Submit articles