He spent over 10 years with NEC Laboratories in Princeton,
where he was a department head, leading the R+D activities in the
areas of HW and SW formal verification, embedded design and autonomic
system management.

parsing collini

We have achieved
several key milestones in our growth that make me extremely excited
about our future," remarked Prakash Narain, President and CEO. Most recently, Mr. Our clients include such U.

grammars concurrent

Pranav Ashar brings over a decade of leading edge EDA
technology research in formal verification , test, logic synthesis and
analysis.

ZyLAB CEO to Speak at Infonortics Search Engine Conference

com, for ZyLAB.

ciaccia soumen

"With the addition of this experienced management team and our new
product vision , we are now strongly positioned to expand our formal
analysis based suite of products in the market . Dr.
Ron Geiss brings to Real Intent a 26 year history in EDA sales,
starting with Calma in 1978 . Before Cadence, he held
senior sales management positions with several start-ups and larger
EDA companies, including Arcsys (Avanti), NeoCAD, Daisy, Cadnetix,
Spectragraphics and Calma.
Founded in 1999, Real Intent is a privately-held Electronic Design
Automation company headquartered in Santa Clara, CA.

collini disambiguation

Over 30 major
electronics design houses, including Sun Microsystems, ATI, Agilent
Technologies, nVidia, and NEC Electronics, rely on the Verix software.
After working for more than 20 years with the FBI, international war
crimes tribunals, and several other law enforcement , intelligence, and legal
organizations worldwide, ZyLAB has unique insights into how certain usability
tools can help users find what they are looking for.

ceri semantics

All of these executives
will report directly to President and CEO, Prakash Narain. In
addition, the company announced that while continuing to deliver its
formal analysis technology for verification, it will expand its market
by addressing new electronic design applications that improve timing
closure. All other trademarks and
tradenames are the property of their respective owners.

disambiguation chakraborty

ZyLAB's comprehensive
investigative capabilities, with its high quality search and retrieval
features supporting over 200 languages, gives users the ability to organize
and easily share all information online. In particular, ZyLAB solutions are
relied upon extensively by legal, law enforcement/intelligence, and
financial/back-office professionals .

ciaccia collini

"

More about the Execs

Dr.html

About ZyLAB
Founded in 1983, ZyLAB is the leading provider of low-cost content
management and compliance solutions for small-and-medium -sized business (SMB)
and government organizations that need to digitally file and manage millions
of pages of paper and electronic documents.S.

arguably grammars

In addition, formal
techniques have much to offer to design teams as well as verification
engineers, and our new focus on design will open up new markets for
us.D. Faris received his BSEE from Northwestern
University and his Masters in Computer Architecture from University of
Southern California.

nocker peau

realintent. However, advanced search algorithms can fail due to a variety of
factors: languages used, variable document sizes, and different document
structures , types, and domains, not to mention the fact that users often don't
know exactly what they are looking for. Users often don't know what is going on "under the
hood," and may ultimately get frustrated and no longer use the technology.

temporal similarity

Most recently, he was the VP of Sales at
Cadence covering the Company 's all European Global Accounts.com

Verix is a trademark of Real Intent Inc.com.

interconnection similarity

Real Intent Appoints Technical Sales and Marketing Execs to Management Team; Expands Focus to Timing Closure; Pranav Ashar Ron Geiss + Rich Faris Join

"We now
have over 35 customers, who have completed successful tapeouts . Faris managed the most productive channel
within Mentor Graphics for FPGA Synthesis Solutions. For further
information, visit www.

grammars semantics

parsing arguably

Business Editors/High-Tech Writers

SANTA CLARA, Calif . Faris has contributed in a wide variety of senior roles in
EDA, specializing in Verification and Synthesis for more than a
decade.

For the full event agenda, visit:
http://www.

disambiguation temporal

--- -Real Intent,
Inc. "Our customers tell me that the period for
evangelizing about formal methods in design verification is past., ZyLAB, an innovative developer of
content management and compliance solutions for paper intensive organizations,
today announced that its CEO, Dr.

similarity peau

interconnection soumen

During the April 11th
session, Dr.

semantics parsing

"Our tools offer a very compelling value proposition
to any design team and customer response is strongly endorsing our new
product directions," he further added. and
Masters in EECS from Berkeley and his BSEE from IIT Madras in India.

About Real Intent

Real Intent is the leading provider of assertion-based
verification (ABV) solutions, and is extending breakthrough formal
technology to critical problems encountered by design and verification
teams worldwide. Real Intent's Verix(TM) products dramatically improve
the functional verification efficiency of leading edge
application-specific integrated circuit (ASIC), system-on-chip (SOC),
and Field Programmable Gate Array (FPGA) devices. Session to Focus on Search Engine Usability Versus Precision + Recall;
Event to Take Place April 11th in Boston at Fairmont Copley Plaza

MCLEAN , Va. Johannes Scholtes, will be a featured
presenter at the Infonortics Search Engine Conference taking place April 11-12
at the Fairmont Copley Plaza in Boston, Massachusetts. Scholtes' presentation will be that, whereas the Google
search engine is popular for providing high precision, users in law
enforcement, intelligence and legal domains need 100 percent recall; every
possible relevant document, electronic file or email needs to be examined and
checked for relevance to a case.
With over 7,500 installations worldwide and over 350,000 users, ZyLAB has
a wide breadth of experience and knowledge across a variety of different
industries and business applications. For more information
visit: http://www.

grammars sharat

, the leading supplier of formal assertion-based verification
(ABV) software for electronic design verification today announced that
it has appointed Dr. Pranav Ashar as CTO , Ron Geiss as VP of Worldwide
Sales and Rich Faris as Director of Marketing. While at NEC, he developed one of the most powerful
engines in the formal industry. Ashar received his Ph.
Mr.zylab.

parsing disambiguation

"
"It is very exciting for me to be involved with Real Intent and
contribute to the next generation of verification technologies," said
Dr. In theory, modern search engine technology
should allow users to overcome the lack in precision and continue to focus on
recall. Government
organizations as the FBI, Department of Homeland Security, Department of the
Treasury, Department of Justice, SEC , Department of Agriculture, Department of
Commerce, IRS, Department of Labor, State Department, Amtrak 's OIG, Office of
Personnel Management, Department of Defense and all branches of the US
military , as well as such well-known companies as the New York Stock Exchange,
Pepsico, Pacific Life, Anheuser -Busch, and Walt Disney.

teleportation chakraborty

Rich Faris, Marketing Director added, "Real Intent's formal
technology is unsurpassed in the market, and we have a large and
expanding portfolio of influential customers , who are mandating the
use of our tools in their verification flows. Prior to that, he
held senior and executive roles at IKOS Systems, including VP of
Information Technology, Senior Director of Services , and Senior
Director of Marketing.infonortics.

cardelli semantics

For instance, in many
cases, rather than favoring advanced linguistic and statistical retrieval
technology, users prefer simple interfaces and easy -to-use programs that allow
them to engage their computers and navigate through data in a highly
interactive manner.
In this presentation, examples will be presented of simple,
straightforward tools such as fuzzy search, hit highlighting and navigation,
relevance feedback, categorization, and data visualization, which allows even
relatively non-skilled users to reach 100 percent recall and overcome the lack
of precision by interactively navigating through data collections without
losing control of what they are doing.

deductive ciaccia

The
standardization of property specification languages, their
compatibility with simulation and numerous examples of formal methods
finding bugs early has convinced design companies that formal methods
deliver value in their flows.
The premise of Dr. Often, search algorithms are too
domain or language dependent, become too slow, or require too much manual
training and fine-tuning.

cardelli teleportation

Our
customers are capitalizing on the verification ROI our tools are
delivering.

"
"I am thrilled to be part of the Real Intent team at this exciting
time -- a time when the company has successfully demonstrated that
their ABV products are rapidly being adopted," noted Ron Geiss , VP of
Worldwide Sales. Mr. Scholtes will discuss the importance of search engine usability
versus precision and recall.com/searchengines/sh05/05pro.

disambiguation soumen

Pranav Ashar, CTO. Prior to
this, he was Cadence 's VP of Sales for Japan. He has three engineering degrees,
specializing in Electrical Engineering , Computer Science, and Material
Science.

CONTACT: Evan Weisel of Welz + Weisel Communications , +1-703-323-6006, or
evan@w2comm.