Citazione da: cdimauro - 24 Dicembre 2014, 16:45:17Infatti non c'è altro modo.non c'e' nessun altro modo formale, quindi a consiglio scrivetelo chiaro: CPU non formalmente validata, validazione incrementale per approccio bovino
Infatti non c'è altro modo.
Citazione da: cdimauro - 24 Dicembre 2014, 16:56:25e non è così spinto quanto a frequenze.appunto, altra cosa che non mi e' piaciuta: fpga_clock scalato 1:1 sul softcore_clockquando si fa 1:2 e pure a fatica
e non è così spinto quanto a frequenze.
Citazione da: cdimauro - 24 Dicembre 2014, 17:05:08Il core Apollo, invece, viaggia alla metà della frequenza dell'FPGA.il problema e' dato da diversi fattori, quelli + significativi sono due, ovverole fpga economiche NON hanno celle sensibili sia al fronte di salita che di discesa, fare sincronismo intra stage con stage dispari sul fronte di salita, e stage pari sul fronte di discesa (come hanno fatto, in ASIC, gli ingegneri motorola per il 68000) si scontra con problemi di implementazione lato fisicoil fatto che volendo forzare 1:1 si complica non poco il design
Il core Apollo, invece, viaggia alla metà della frequenza dell'FPGA.
dunque questi progetti dall'approccio ampiamente bovino e spesso reclamizzati con molta faciloneria... possono arrivare a una certa compatibilità senza poterla quantificare o garantire se non con una qualche statistica legata a delle prove del software originale, non si sa quanto approfondite e su quali campioni perché a farle sono ovviamente i produttori, e i primi acquirenti (se mai l'oggetto venisse venduto) che hanno sborsato più carte da cento euro. La via delle fpga più passa il tempo più mi sembra qualcosa che come dice Gabrielenick ha poche vie di sbocco verso l'utilizzatore finale più esigente.Menomale che c'è l'emulazione
Citazione da: cdimauro - 24 Dicembre 2014, 17:03:40La validazione formale esiste soltanto per pochi dispositivitra cui le CPU,
La validazione formale esiste soltanto per pochi dispositivi
quantomeno fornire dei test bench che coprano quanti + casi possibili
se non lo si fa, ed il progetto e' complesso come una cpu super scalare, si sta sbagliando in partenza
Citazione da: cdimauro - 24 Dicembre 2014, 17:03:40ci vuole, comunque, un sacco di tempo e soldiappunto, ed e' per questo che se in Apollo, Natami, vattelappesca si mettono tutte quelle features da CPU-seria poi si fa la figuraccia: come minimo ci si aspetta che sia valicata, o quantomeno che sia chiaro come e' stata validata (nulla deve mai essere sotto inteso)
ci vuole, comunque, un sacco di tempo e soldi
e visto l'effort, sicuramente non hobbistico, torniamo ai 50.000 euro per il softcore 68000 pipelined validato + diritti di sfruttamento
Citazione da: cdimauro - 24 Dicembre 2014, 17:25:49Nemmeno la CPU sul quale gira l'emulatore è validata formalmente.ma non diciamo cavolate.
Nemmeno la CPU sul quale gira l'emulatore è validata formalmente.
E tu spiegami perché il NatAmi non esiste.
che qualche frescone delle alte dirigenze butti fuori un prodotto immaturo e' gia' successo,
ma ammesso che non facciate validazione formale,
tu vuoi farmi credere che pure voi di intel non vi preoccupiate di far giare per mesi e mesi vari vettori di test di modulo per scandagliare a fondo le faccende ?
e nel farlo vuoi farmi credere che per 1000 righe di codice non ce ne siano 5000 di test ? questa e' la prassi di uso comune,
valida anche per l'hobbista che vuole dare un minimo di rigore alle cose che fa; la validazione formale si fa in avionica a MUST,
ma chiunque venda o abbia a che fare con CPU (sopratutto per progetti complessi) dovrebbe dare un minimo di garanzie (anche a suo uso e consumo, altrimenti ci si impaltana), quindi come minimo quel 1:5 di vettori di test
il punto e': in Natami/Apollo, quante righe di codice di testbench ci sono ?
Come tutti gli Amighisti, io mi inrazzo quando scendono in campo i fuffaroli, soprattutto quando si siedono in cattedra e fanno i professorini. Se voglio posso essere MOLTO peggio di Cip, ma nessuno si merita sto trattamento
io con cip e il moderatrollone devo contare fino a 1E+160 tanto per dirti...
perché vi fate del male a scrivere in quel forum