Chương trình theo coho.sf.net

Coho là một nền tảng phân tích khả năng tiếp cận cho các hệ thống lai phi tuyến, chiều cao, đặc biệt là để xác minh mạch tương tự. Công cụ này đã được áp dụng để xác minh nhiều mạch, bao gồm cả chuyển đổi, trọng tài, flipflop