Modeling sequential circuits with shared structurally synthesized BDDs

Raimund Ubar, Mihhail Marenkov, Dmitri Mironov, Vladimir Viies. Modeling sequential circuits with shared structurally synthesized BDDs. In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014. pages 130-135, IEEE, 2014. [doi]

Authors

Raimund Ubar

This author has not been identified. Look up 'Raimund Ubar' in Google

Mihhail Marenkov

This author has not been identified. Look up 'Mihhail Marenkov' in Google

Dmitri Mironov

This author has not been identified. Look up 'Dmitri Mironov' in Google

Vladimir Viies

This author has not been identified. Look up 'Vladimir Viies' in Google