Resource management during system verification

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 7234093
APP PUB NO 20050081103A1
SERIAL NO

10956983

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A method and apparatus for resource management for non-deterministic automata for dynamic verification of a system or device under test is described herein.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

  • MENTOR GRAPHICS CORPORATION

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Kadkade, Sudhir Dattaram Lake Oswego, OR 4 47

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation