Searching for authors named "Nikolai Starodoubtsev" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Asynchronous negative logic synthesis from STG-like specifications
by Nikolai A. Starodoubtsev
…Outline Slide 1 Asynchronous negative logic synthesis from STG-like specifications Nikolai…
Add To MetaCart

A Technique to Automate STG Analysis and Refinement for CSC and Normalcy
by Alexander Smirnov, Michael Goncharov, Ilya Klotchkov, Nikolai Starodoubtsev — 2001
…Abstract. Signal Transition Graph (STG) is a well-known form of specifying the system behavior along with the behavior of its environment. Normalcy has recently gained the circuits designers attention as an STG property, which guarantees that the behavior given by STG is implementable by a circuit …
Add To MetaCart

Verification driven synthesis of asynchronous circuits from STG specification
by Ilya V. Klotchkov, Alexander B. Smirnov, Nikolai A. Starodoubtsev — 1998
… Alexander B. Smirnov Nikolai A. Starodoubtsev 1 Introduction The main goal of this work is to develop…
Cited by 1 (1 self) – Add To MetaCart

Verification Driven Synthesis of Asynchronous
by Circuits From Stg, Ilya V. Klotchkov, Alexander B. Smirnov, Nikolai A. Starodoubtsev
… Alexander B. Smirnov Nikolai A. Starodoubtsev 1 Introduction The main goal of this work is to develop an e…
Add To MetaCart

Timing Extensions of STG Model and a Method to Simulate Timed
by Stg Behavior In, Michael V. Goncharov, Ilya V. Klotchkov, Alexander B. Smirnov, Nikolai A. Starodoubtsev — 1998 — In Proceedings of International Conference on Application of Concurrency to System Design., Aizu
… Michael V. Goncharov Ilya V. Klotchkov Alexander B. Smirnov Nikolai A. Starodoubtsev Institute…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB