Wladimir, I respect your view here - I agree with everything you write. My field of expertise is more ISA encodings, overall functional block architecture and decompilers. Once I hold the encodings, I point at the blob and say there is your source & specification. ie Binary blobs + ISA encodings = specification to me.