전파 정류기 형식 검증 사례 연구

본 논문에서는 아날로그 및 혼합 신호 설계에서 전파 정류기(full‑wave rectifier)의 형식 검증 사례를 제시한다. 공개 도메인 하이브리드 시스템 검증 도구인 CMU의 Checkmate

저자: Kusum Lata, H S Jamadagni