Подскажите, пожалуйста, где можно скачать полную библиотеку AVR для Proteus 6.7 SP3.

Если хочешь для AVR то эту прогу лучше вообще не использовать

Извиняюсь за то, что в сторону от темы, но хочу сказать:
ИМХО для AVR ее использовать можно, несмотря на косяки, главное знать где они проявляются. Я, косяки, связанные с симуляцией периферийных устройств AVR (те, которые я выловил), приспособился обходить (по крайней мере это мне удавалось до сего момента). Proteus меня здорово выручает тогда, когда начинаю писать код, а железо еще не готово и JTAGICE торкать невочто...


Что значит полная библиотека? Та которая входит в состав Proteus 6.7 SP3 (Pro)?

Какую программу лучше использовать для моделирования с AVR?
Существуют ли вообще программы моделирования, которые поддерживают широкий спектр устройств? Например, чтобы моделировать работу таких контроллеров как AT91SAM7S**, и устройств типа CPLD и FPGA различных производителей (но мне вполне хватило бы альтеры)?

Чтобы весь спект выпускаемых AVRов был...

а такой нету.