Search

Issue
Title
Authors
Applying ROBDDs for Logical Circuit Delay Testing
Matrosova A.Y., Andreeva V.V., Tychinskiy V.Z., Goshin G.G.
Finding Test Pairs for PDFs in Logic Circuits Based on Using Operations on ROBDDs
Mатrosova A.Y., Andreeva V.V., Nikolaeva E.A.
Finding False Paths in Sequential Circuits
Маtrosova А.Y., Аndreeva V.V., Chernyshov S.V., Rozhkova S.V., Kudin D.V.
1 - 3 of 3 Items

Search tips:

  • Search terms are case-insensitive
  • Common words are ignored
  • By default only articles containing all terms in the query are returned (i.e., AND is implied)
  • Combine multiple words with OR to find articles containing either term; e.g., education OR research
  • Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
  • Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
  • Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
  • Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"