Simantix Enters Functional Verification Arena; Previews MetaSL, Testbench Generation Product, Based on its SL Functional Language.Business Editors/High-Tech Writers SUNNYVALE, Calif.--(BUSINESS WIRE)--April 18, 2003 Simantix Systems, Inc., was established in March 2003, with a mission to provide a functional verification Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, environment to improve the productivity of electronic design and verification engineers. The new company announced today that it is previewing its first testbench generation product -- MetaSL. The product, based on Simantix functional language technology, encompasses its own system level environment with links to HDL (Hardware Description Language) A language used to describe the functions of an electronic circuit for documentation, simulation or logic synthesis (or all three). Although many proprietary HDLs have been developed, Verilog and VHDL are the major standards. commercial simulators. The functional language, SL, facilitates abstraction of models and tests. Further, SL operates at a system level higher than other testbench generation languages currently available in the marketplace. The Simantix technology can be used to complement such languages. The SL language allows for reduced programming efforts and development time along with extremely compact tests. "With the dramatic increase in design complexity, it's time It's Time was a successful political campaign run by the Australian Labor Party (ALP) under Gough Whitlam at the 1972 election in Australia. Campaigning on the perceived need for change after 23 years of conservative (Liberal Party of Australia) government, Labor put forward a to raise the bar in abstraction," remarked Dr. Mikhail Baklashov, Simantix chief technology officer and vice president of R&D. He added, "In building and verifying complex systems, all attention needs to be focused on functional specification requirements and not on language details. Our proprietary SL functional language and simulation environment provide a methodology foundation that reduces variability in performance and results." About MetaSL: MetaSL, using the SL functional language, provides an environment for creating intelligent testbenches and comprehensive verification. The testbenches generated in this environment are re-useable in HDL environments. About SL: SL is a simple, yet powerful, functional language, with clean syntax and semantics. The language is a shift from the OOP See object-oriented programming. OOP - object-oriented programming paradigm to functional modeling. It supports function/signal interfacing and simulation control for verification. SL's high order functions enable designers to easily manage complex tests and models. At the same time, SL ensures abstraction down to RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; . More details can be found at www.simantix.com. Availability and pricing: MetaSL is now available for beta testing (programming) beta testing - Testing a pre-release (potentially unreliable) version of a piece of software by making it available to selected users. This term derives from early 1960s terminology for product cycle checkpoints, first used at IBM but later standard throughout the . Formal product release is scheduled for Q3/2003. Price in the US: $50,000.00 per license per year. About Simantix: Simantix Systems, Inc., was founded in March 2003, to develop products and provide services for the emerging functional verification market. Dr. Mikhail Baklashov, chief technology officer and vice president of R&D has over 15 years of 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. experience. He received a Ph.D. degree in Computer Engineering from Case Western Reserve University. His research interests include design of graph base algorithms, compiler and modeling techniques, test synthesis and low power analysis. He contributed to the EDA industry by completing R&D projects in several start-ups, including Epic Design acquired by Synopsys, and Moscape that merged with Magma Design Automation Magma Design Automation (NASDAQ: LAVA) is a software company in the electronic design automation (EDA) industry. The company was founded in 1997 and maintains headquarters in San Jose, California. . Simantix has signed an agreement with SynTest Technologies, Inc. for marketing its MetaSL product in N. America and Asia, including Taiwan, Korea and China. Simantix Systems, Inc. is headquartered at 505 South Pastoria Ave., Suite 30, Sunnyvale, California 94086, Phone: 408/245-3488, E-Mail: info@simantix.com. Acronyms: EDA: Electronic Design Automation ESL (1) An earlier family of client/server development tools for Windows and OS/2 from Ardent Software (formerly VMARK). It was originally developed by Easel Corporation, which was acquired by VMARK. : Electronic System Level HDL: Hardware Description Language (language) Hardware Description Language - (HDL) A kind of language used for the conceptual design of integrated circuits. Examples are VHDL and Verilog. OOP: Object Oriented Programming RTL: Register Transfer Level All company or product names are registered trademarks or trademarks of their respective owners. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion