MaratZuev 0 10 февраля, 2020 Опубликовано 10 февраля, 2020 · Жалоба Может, я чего не понимаю, но зачем автор так пишет?: always @(posedge clk or posedge rst) if (rst) takt <= 0; else if (a[1:0]==2'b00) takt <= 1; else if (a[1:0]==2'b01) takt <= 2; else if (a[1:0]==2'b10) takt <= 3; else if (a[1:0]==2'b11) takt <= 4; else takt <= 1; Я всё про покрытие кода или про то, как мне покрыть последнюю строку? Только ли исключить её из рассмотрения соответствующими прагмами? Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
des00 25 10 февраля, 2020 Опубликовано 10 февраля, 2020 · Жалоба a[1:0] может быть 'x или 'z. ЗЫ. Про ваше покрытие, уже неоднократно писал вам, ваша работа шашечки, а не ехать) Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 10 февраля, 2020 Опубликовано 10 февраля, 2020 · Жалоба Спасибо, про 4-х битовое представление совсем забыл. Про шашечки: я бы с радостью поехал, если бы было бы время. Шашечки-то нарисовать не успеваем. А за неоднократное напоминание вам спасибо. Буду ещё раз премного благодарен, если в очередной раз ткнёте носом в (желательно небольшой) талмуд, который бы осветил для вашего покорного слуги покрытие комильфо. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
Skryppy 0 10 февраля, 2020 Опубликовано 10 февраля, 2020 · Жалоба Я с покрытием кода не работал, но мне нравятся документы Ldra Матлаба (например "Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA"). Там в таблицах приводятся некоторые требования: проверка рекурсии, деления на 0, и т.д. Мне кажется, если нужны требования к покрытию кода, то надо смотреть в сторону стандартов и гостов, типа do-178 и т.д. там, скорее всего будут четкие требования. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 10 февраля, 2020 Опубликовано 10 февраля, 2020 · Жалоба Да, на семинаре от LRDA я как-то присутствовал: показал нашим, но они интереса не проявили. У нас есть КТ-254, плохо переведённый с DO-254 и РМ-254, чуть шире помогающий понять, что же имели в виду переводчики КТ. Но, вот, где бы было написано: бери так и делай - вот этого нет. Либо я очень плохо искал. Кстати, сам стандарт говорит, ЕМНИП, что он говорит ЧТО надо, а КАК надо - не говорит. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
des00 25 11 февраля, 2020 Опубликовано 11 февраля, 2020 · Жалоба 12 hours ago, MaratZuev said: , если в очередной раз ткнёте носом в (желательно небольшой) талмуд, который бы осветил для вашего покорного слуги покрытие комильфо. Я же приводил вам список литературы: книги по UVM, OVM, AVM, Writing testbenches от Яника Берджерона. Ну и любые книги, по методологии тестирования, а не по тому, как на языке написать что-то с вывертом, что бы показать какой крутой язык. Даже вон, в закромах из нового Functional Verification Coverage Measurement and Analysis (Piziali-2004) прям название вообще никак не связано с функциональным покрытием) Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
lexx 0 11 февраля, 2020 Опубликовано 11 февраля, 2020 (изменено) · Жалоба Зачем здесь if-else в принципе? Гораздо более уместным выглядит case и default. Не говоря уж про readability. Если "а" сделать one-hot, то и тайминги и площадь будут лучше. Изменено 11 февраля, 2020 пользователем lexx Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться
MaratZuev 0 13 февраля, 2020 Опубликовано 13 февраля, 2020 · Жалоба On 2/11/2020 at 6:52 AM, des00 said: Я же приводил вам список литературы: книги по UVM, OVM, AVM, Writing testbenches от Яника Берджерона. Ну и любые книги, по методологии тестирования, а не по тому, как на языке написать что-то с вывертом, что бы показать какой крутой язык. Даже вон, в закромах из нового Functional Verification Coverage Measurement and Analysis (Piziali-2004) прям название вообще никак не связано с функциональным покрытием) Спасибо, ушёл читать. On 2/11/2020 at 8:42 AM, lexx said: Зачем здесь if-else в принципе? Не мною заложены. Я, лишь, провожу разбор полётов. Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться