we're manufacturing medical devices.
IEC60601-1-4 gives instructions on how to implement
a quality system for software development on programmable
devices.
Do you have any experience in 60601-1-4?
Any arguments why it doesn't make sene to verify an assembler/compiler/linker ?