Программируемая логика и ЦОС

SystemC: собрал чуток информации. И мысли некоторые появились.... http://zalil.ru/31541243
1. Буки * SystemC: From the Ground Up, 9780387699578 (0387699570), Springer, 2008 * Transaction-Level Modeling with Systemc: Tlm Concepts and Applications for Embedded Systems, 9780387262321 (0387262326), Springer, 2006 Можно скачать -> 2. Интересный мини-учебник по SystemC http://www.ht-lab. …sc_tut/vh2sc_tuta.html Вообще на их сайте в разделе HowTo Docs есть немало интересного http://www.ht-lab.com/ 3. По ссылкам с сайта выше нашлась чудо фирма SystemCrafter http://www.systemcrafter.com Она имеет тулзу за 3k$ (!!!), которая заточена под синтез SystemC -> Xilinx. Делает она это через промежуточный VHDL RTL, что, вероятно, не так хорошо, как прямой синтез, но все же... Одно смущает, что в жизни этой фирмы нет новостей после 2008 года.... И связанной с ней фирмы, которая евал борды на Xilinx делает, тоже нет свежих новостей... http://www.orangetreetech.com/ Хотя платки у нее довольно интересные, взять хотя бы эту (вложено). Насколько я понимаю, если взять стандартную и вроде как открытую, в исходниках SystemC либу, то, немного попилив, ее можно прикрутить к любому С++ коду. Т.е. берем 3 сущности: * SystemC либу * код разрабатываемой железяки на SystemC * "исходник", сгенерированный компилирующим симулятром, симулирующим ядро проца, целевой код и минимальный набор штатной периферии. И получаем возможность сразу отлаживать код и виртуальное пока железо. На том же SystemC, как я понимаю, можно написать тест-бенчи. Далее конвертим все SystemCrafter'ом в VHDL и синтезируем. Тесты тоже конвертим для проверки. Если оно там получилось не очень, то на основании этого SystemC отдельный человек пишет "нормальный" исходник на Verilig|VHDL, который проверяется нашим тестбенчем, и из него уже сиитезируется более качественная прошивка для FPGA. Я все правиль осознаю?