. "Modern methods of digital system synthesis"@en . . "73"^^ . "GA102/04/0737" . "73"^^ . . . . "Neuvedeno."@en . . . . . . . "C\u00EDlem navrhovatel\u016F projektu je n\u00E1vrh, implementace a ov\u011B\u0159en\u00ED metodik n\u00E1vrhu \u010D\u00EDslicov\u00FDch obvod\u016F zalo\u017Een\u00FDch na postupech, kter\u00E9 je mo\u017En\u00E9 pova\u017Eovat za nov\u00E9, nestandardn\u00ED a doposud nevyu\u017E\u00EDvan\u00E9 v n\u00E1vrhov\u00FDch syst\u00E9mech. Pozornost bude zam\u011B\u0159ena p\u0159edev\u0161\u00EDm na vyu\u017Eit\u00ED a kombinaci biologi\u00ED inspirovan\u00FDch technik a form\u00E1ln\u00EDch postup\u016F. C\u00EDle projektu jsou stanoveny takto: 1. Identifikovat vhodn\u00E9 biologi\u00ED inspirovan\u00E9 techniky pro synt\u00E9zu \u010D\u00EDslicov\u00FDch syst\u00E9m\u016F. 2. Vytvo\u0159it biologi\u00ED inspirovan\u00E9 metodiky vyu\u017Eiteln\u00E9 p\u0159i t\u011Bchto \u010Dinnostech souvisej\u00EDc\u00EDch s n\u00E1vrhem \u010D\u00EDslicov\u00FDch obvod\u016F: n\u00E1vrh a synt\u00E9za obvodu, anal\u00FDza testovatelnosti a n\u00E1vrh snadno testovateln\u00FDch obvod\u016F, zaji\u0161t\u011Bn\u00ED adaptability obvodu b\u011Bhem jeho \u010Dinnosti, zaji\u0161t\u011Bn\u00ED odolnosti proti poruch\u00E1m b\u011Bhem \u010Dinnosti obvodu. 3. Definovat principy vyu\u017Eit\u00ED form\u00E1ln\u00EDch postup\u016F p\u0159i synt\u00E9ze \u010D\u00EDslicov\u00FDch syst\u00E9m\u016F, zam\u011B\u0159it se p\u0159edev\u0161\u00EDm na syst\u00E9my na b\u00E1zi IP jader (IP core). 4. Vytvo\u0159it form\u00E1ln\u00ED postupy vyu\u017Eiteln\u00E9 p\u0159i t\u011Bchto \u010Dinnostech souvisej\u00EDc\u00EDch s n\u00E1vrhem \u010D\u00EDslicov\u00FDch" . "2007-10-16+02:00"^^ . . "The goal of the project is to develop, implement and verify methodologies based on approaches which are new, non-standard and not utilised in design systems yet. Our attention will be mainly paid to utilisation of biology inspired techniques and formal approaches and their merging. The objectives of the project are formulated in the following way: 1. The identification of biology inspired techniques applicable for the synthesis of digital systems. 2. The development of biology inspired methodologies tobe utilised in the following procedures during a digital synthesis: design and synthesis, testability analysis and synthesis for testability, adaptability of the system during its operation, providing fault tolerance during system operation. 3. The definition of utilising the principles of formal approaches during a digital system synthesis, the main attention will be paid especially to IP core based systems. 4. The development of formal approaches to be utilised in the following procedures during"@en . . . . "Modern\u00ED metody synt\u00E9zy \u010D\u00EDslicov\u00FDch syst\u00E9m\u016F" . "0"^^ . . "Zad\u00E1n\u00ED projektu si kladlo za c\u00EDl rozvoj modern\u00EDch metod n\u00E1vrhu \u010D\u00EDslicov\u00FDch syst\u00E9m\u016F a uplatn\u011Bn\u00ED form\u00E1ln\u00EDch postup\u016F v\u00A0t\u011Bchto metod\u00E1ch. Oba c\u00EDle byly uplatn\u011Bny p\u0159i v\u00FDvoji metodik n\u00E1vrhu \u010D\u00EDslicov\u00FDch syst\u00E9m\u016F a v\u00FDvoji metodik jejich testov\u00E1n\u00ED. Byly zkoum\u00E1ny no"@cs . . "http://www.isvav.cz/projectDetail.do?rowId=GA102/04/0737"^^ . . . "The project proposal defined as its goal the development of modern digital systems design and utilizing formal methods in these methodologies. Both goals were implemented in the development in digital systems design methodologies and the methods of digit"@en . "3"^^ . "1"^^ .