Checking sequence design for FSMKeevallik, Andres; Kruus, Margus; Lensen, HarriProceedings of the 5th International Conference on Mixed Design of Integrated Circuits and Systems, Lodz, Poland, June 18-20, 19981998 / p. 325-330 Decompositional design of testable FSM networksKeevallik, Andres; Kruus, Margus; Lensen, HarriProceedings of the 4th International Workshop Mixed Design of Integrated Circuits and Systems : MIXDES'97 : Poznan, Poland, 12-14 June 19971997 / p. 431-436 Diagnostic modelling of digital systems with binary and high-level decision diagramsUbar, Raimund-Johannes; Raik, Jaan; Kruus, Helena; Lensen, Harri; Evartson, TeetProgress in industrial mathematics at ECMI 20062008 / p. 902-907 : ill Diagnostic modelling of digital systems with multi-level decision diagramsUbar, Raimund-Johannes; Raik, Jaan; Evartson, Teet; Kruus, Margus; Lensen, HarriProceedings of the 17th IASTED International Conference on Modelling and Simulation : May 24-26, 2006, Montreal, Quebec, Canada2006 / p. 207-212 : ill Digital design at microarch[i]tectural level based on quality relationship measuresKruus, Margus; Lensen, Harri; Sudnitsõn, AleksanderУспехи современного естествознания2004 / 5, приложение 1, Материалы XXXI международной конференции и дискуссионного научного клуба : информационные технологии в науке, образовании, телекоммуникации и бизнесе : IT+SE'2004 : Украина, Крым, Ялта-Гурзуф, 18-27 мая 2004 года, с. 29-30 Diskreetne matemaatikaLensen, Harri2002 http://www.ester.ee/record=b1715399*est Diskreetne matemaatikaLensen, Harri; Kruus, Margus2002 http://www.ester.ee/record=b1850141*est Diskreetne matemaatikaLensen, Harri; Kruus, Margus2006 http://www.ester.ee/record=b2223858*est Diskreetne matemaatikaLensen, Harri; Kruus, Margus2012 https://www.ester.ee/record=b2855919*est Fault diagnosis in integrated circuits with BISTUbar, Raimund-Johannes; Kostin, Sergei; Raik, Jaan; Evartson, Teet; Lensen, Harri10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, DSD 2007 : 29-31 August 2007, Lübeck, Germany : proceedings2007 / p. 604-610 : ill http://dx.doi.org/10.1109/DSD.2007.4341530 FSM decomposition using shift registersKruus, Margus; Lensen, HarriThe 7th Biennial Conference on Electronics and Microsystem Technology "Baltic Electronics Conference" : BEC 2000 : October 8 - 11, 2000, Tallinn, Estonia : conference proceedings2000 / p. 141-144 : ill Hierarchical fault diagnosis in embedded digital systems with multi-level decision diagrams [Electronic resource]Ubar, Raimund-Johannes; Evartson, Teet; Lensen, Harri; Aarna, Margit5th International Conference on Industrial Automation = Cinquieme Conference Internationale sur l'Automatisation Industrielle : June 11-13, 2007, Montreal, Canada2007 / [6] p. [CD-ROM] Microprogram automation : design for testabilityKeevallik, Andres; Kruus, Margus; Lensen, HarriBEC'98 : the 6th Biennial Conference on Electronics and Microsystems Technology, October 7-9, 1998, Tallinn, Estonia : proceedings1998 / p. 171-174 Synthesis of sequential circuits with dynamic power managementLensen, Harri; Kruus, Margus; Sudnitsõn, AleksanderProc. of 42nd International Scientific Conference of Riga Technical University : RTUCET'012001 / p. 81-86 Synthesis of sequential circuits with dynamic power managementLensen, Harri; Kruus, Margus; Sudnitsõn, AleksanderScientific proceedings of Riga Technical University. 7.serija, Telecommunications and electronics2001 / p. 81-86 Web-based tools for decomposition-oriented digital designKruus, Margus; Lensen, Harri; Sudnitsõn, AleksanderMEET/MARIND'2002 : proceedings of First International Congress on Mechanical and Electrical Engineering and Technology and Fourth International Conference on Marine Industry, 07-11 October 2002, Varna Bulgaria. Volume 12002 / p. 261-266 : ill