Перейти к содержанию
    

Поиск

Показаны результаты для тегов 'верификация'.

  • Поиск по тегам

    Введите теги через запятую.
  • Поиск по автору

Тип контента


Форумы

  • Сайт и форум
    • Новости и обсуждения сайта и форума
    • Другие известные форумы и сайты по электронике
    • В помощь начинающему
    • International Forum
    • Образование в области электроники
    • Обучающие видео-материалы и обмен опытом
  • Cистемный уровень проектирования
    • Вопросы системного уровня проектирования
    • Математика и Физика
    • Операционные системы
    • Документация
    • Системы CAD/CAM/CAE/PLM
    • Разработка цифровых, аналоговых, аналого-цифровых ИС
    • Электробезопасность и ЭМС
    • Управление проектами
    • Нейронные сети и машинное обучение (NN/ML)
  • Программируемая логика ПЛИС (FPGA,CPLD, PLD)
    • Среды разработки - обсуждаем САПРы
    • Работаем с ПЛИС, области применения, выбор
    • Языки проектирования на ПЛИС (FPGA)
    • Системы на ПЛИС - System on a Programmable Chip (SoPC)
    • Методы и средства верификации ПЛИС/ASIC
  • Цифровая обработка сигналов - ЦОС (DSP)
    • Сигнальные процессоры и их программирование - DSP
    • Алгоритмы ЦОС (DSP)
  • Микроконтроллеры (MCU)
    • Cредства разработки для МК
    • ARM
    • RISC-V
    • AVR
    • MSP430
    • Все остальные микроконтроллеры
    • Отладочные платы
  • Печатные платы (PCB)
    • Разрабатываем ПП в САПР - PCB development
    • Работаем с трассировкой
    • Изготовление ПП - PCB manufacturing
  • Сборка РЭУ
    • Пайка и монтаж
    • Корпуса
    • Вопросы надежности и испытаний
  • Аналоговая и цифровая техника, прикладная электроника
    • Вопросы аналоговой техники
    • Цифровые схемы, высокоскоростные ЦС
    • RF & Microwave Design
    • Метрология, датчики, измерительная техника
    • АВТО электроника
    • Умный дом
    • 3D печать
    • Робототехника
    • Ремонт и отладка
  • Силовая электроника - Power Electronics
    • Силовая Преобразовательная Техника
    • Обратная Связь, Стабилизация, Регулирование, Компенсация
    • Первичные и Вторичные Химические Источники Питания
    • Высоковольтные Устройства - High-Voltage
    • Электрические машины, Электропривод и Управление
    • Индукционный Нагрев - Induction Heating
    • Системы Охлаждения, Тепловой Расчет – Cooling Systems
    • Моделирование и Анализ Силовых Устройств – Power Supply Simulation
    • Компоненты Силовой Электроники - Parts for Power Supply Design
  • Интерфейсы
    • Форумы по интерфейсам
  • Поставщики компонентов для электроники
    • Поставщики всего остального
    • Компоненты
  • Майнеры криптовалют и их разработка, BitCoin, LightCoin, Dash, Zcash, Эфир
    • Обсуждение Майнеров, их поставки и производства
  • Дополнительные разделы - Additional sections
    • Встречи и поздравления
    • Ищу работу
    • Предлагаю работу
    • Куплю
    • Продам
    • Объявления пользователей
    • Общение заказчиков и потребителей электронных разработок

Поиск результатов в...

Поиск контента, содержащего...


Дата создания

  • Начало

    Конец


Дата обновления

  • Начало

    Конец


Фильтр по количеству...

Регистрация

  • Начало

    Конец


Группа


AIM


MSN


Сайт


ICQ


Yahoo


Jabber


Skype


Город


Код проверки


skype


Facebook


Vkontakte


LinkedIn


Twitter


G+


Одноклассники

Найдено: 0 результатов

  1. Здравствуйте, коллеги Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения. Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.) Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA). Модульная - Тестирование отдельных модулей дизайна. Интеграционная - Тестирование всего чипа в целом.
  2. Всем, добрый день! Компания «Байкал Электроникс» — лидер рынка российской микроэлектроники ищет в свою команду ВЕДУЩИХ/СТАРШИХ/ИНЖЕНЕРОВ-ВЕРИФИКАТОРОВ. Ваши будущие задачи: Написание верификационного плана и отчета; Разработка верификационного окружения / верификационных IP блоков; Разработка тестов; Отслеживание ошибок в проекте и взаимодействие с разработчиками и программистами; Анализ покрытия кода / функционального покрытия. Для нас важно: Опыт разработки RTL-кода или верификационных компонент на языке Verilog/SystemVerilog; Знание цифровой схемотехники; Знание ООП; Знание методологии верификации UVM; Понимание скриптовых языков bash/tcl/Makefile; Знание английского языка – чтение профессиональной технической литературы; Опыт работы с тулами Cadence, Synopsys (XCELIUM, VCS). Приветствуется: Опыт в моделировании нетлистов (Gate-Level Simulation); Опыт работы с Verification IP; Опыт работы с системами контроля версий, системами отслеживания ошибок (Subversion, Redmine); Пользователь ОС Linux. Мы предлагаем: Работа в быстро развивающейся российской компании с целым спектром интересных задач; ДМС (включающую стоматологию, госпитализации, международные путешествия); Льготное страхование членов семей (покупку полиса по корпоративной цене); Конкурентоспособная заработная плата; Охраняемая парковка; Реферальная программа. Заработная плата и должность будут определены по результатам собеседования и с учетом опыта кандидата. Место работы: РФ, Московская область, Красногорский район, Территория 26 км. автодороги «Балтия»; бизнес-центр «Рига-Ленд», стр. 1. Прислать своё резюме можно на нашу почту: [email protected]
  3. Добрый день! НИИСИ РАН занимается разработкой современных отечественных цифровых интегральных микросхем и систем на их основе. В связи с расширением команды открыто несколько вакансий: 1. Тестирование (верификация) IP блоков СБИС: PCIe, SRIO, Eth, USB, DP и т.д. Задачи: есть наработки по всем протоколам, планируем увеличивать тестовую базу. Требования: знание соответствующих протоколов, понимание UVM. Технологии: System Verilog, UVM, Cadence VIP, Incisive. Готовы брать в том числе опытных программистов, желающих понять как работает железо. 2. Программист системный интегратор. Задачи: - разработка ПО для стендов и систем на экспериментальных СБИС; - разработка интеграционных тестов и демонстрационных приложений. Требования: C, Linux, Python. 3. Электронщик системный интегратор. Задачи: - исследование электрических характеристик экспериментальных СБИС; - создание и отладка демонстрационных и тестовых стендов; Технологии: современные широкополосные осциллографы, BERT тестеры, стробоскоп и т.д. Требования: хорошее понимание электроники КМОП СБИС, умение работать с современным измерительным оборудованием. Хочу обратить внимание, что вакансия не связана с разработкой печатных плат, а настройкой самих СБИС, анализом причин сбоев в интерфейсах. Место работы: Москва, м.Профсоюзная, 5 минут пешком. График работы: пятидневка, 8ми часовой рабочий день. Возможен плавающий график. Оформление по ТК, белая зарплата. Присылайте резюме на [email protected] Зарплата зависит от квалификации и объема работы который Вы готовы выполнять, присылайте свои требования в резюме.
  4. Всем привет, имеется модель гуммеля-пуна в спайсе, например транзистора BFP843. Как я понимаю у него существует только один источник фликкерного шума в эмиттере с параметрами KF и AF. Хочется добавить второй источник фликкерного шума в базовую цепь, пусть даже пока без корреляции с источником в эмиттере. Может кто-то может посоветовать литературу или как это можно сделать?
×
×
  • Создать...