diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 14:41:21 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-10 14:41:21 +0100 |
| commit | 25e1beee38cba662f62f2de85855091a4e718064 (patch) | |
| tree | 2a0508e67b3dd673b65fb36c1746296fbcd9331b /plan_micro.tm | |
| parent | 40f46cd1ce93d7f8045dda4e0af91670cd681d57 (diff) | |
| parent | 2595e3881e0904fc6ecb162775a149f5b0121848 (diff) | |
| download | SystDigit-Projet-25e1beee38cba662f62f2de85855091a4e718064.tar.gz SystDigit-Projet-25e1beee38cba662f62f2de85855091a4e718064.zip | |
Merge branch 'jonathan' ; add unit tests.
Conflicts:
cpu/alu.ml
Diffstat (limited to 'plan_micro.tm')
| -rw-r--r-- | plan_micro.tm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/plan_micro.tm b/plan_micro.tm index 0c6020e..158ffb5 100644 --- a/plan_micro.tm +++ b/plan_micro.tm @@ -137,8 +137,10 @@ (16 bits)>|<cell|>>|<row|<cell|10110>|<cell|R>|<cell|*>|<cell|lbr>|<cell|<math|R<rsub|lo>\<leftarrow\>mem<around*|(|R<rsub|A>+R<rsub|B>|)> ; R<rsub|hi>\<leftarrow\>0> (8 bits)>|<cell|>>|<row|<cell|10111>|<cell|R>|<cell|*>|<cell|sbr>|<cell|<math|mem<around*|(|R<rsub|A>+R<rsub|B>|)>\<leftarrow\>R<rsub|lo><rsup|>> (8 bits)>|<cell|>>|<row|<cell|11000>|<cell|I>|<cell|>|<cell|lil>|<cell|<math|R<rsub|lo>\<leftarrow\>d>>|<cell|>>|<row|<cell|11001>|<cell|I>|<cell|>|<cell|lilz>|<cell|<math|R<rsub|lo>\<leftarrow\>d - ; R<rsub|hi>\<leftarrow\>0>>|<cell|>>|<row|<cell|11010>|<cell|I>|<cell|>|<cell|liu>|<cell|<math|R<rsub|hi>\<leftarrow\>d>>|<cell|>>|<row|<cell|11011>|<cell|I>|<cell|>|<cell|liuz>|<cell|<math|R<rsub|hi>\<leftarrow\>d - ; R<rsub|lo>\<leftarrow\>0>>|<cell|>>|<row|<cell|11100>|<cell|>|<cell|<em|>>|<cell|<em|nop>>|<cell|>|<cell|>>|<row|<cell|11101>|<cell|>|<cell|>|<cell|<em|nop>>|<cell|>|<cell|>>|<row|<cell|11110>|<cell|>|<cell|>|<cell|<em|nop>>|<cell|>|<cell|>>|<row|<cell|11111>|<cell|>|<cell|>|<cell|nop<samp|>>|<cell|<math|\<varnothing\>>>|<cell|>>>>>|Instructions + ; R<rsub|hi>\<leftarrow\>0>>|<cell|(<math|d> non + signé)>>|<row|<cell|11010>|<cell|I>|<cell|>|<cell|liu>|<cell|<math|R<rsub|hi>\<leftarrow\>d>>|<cell|>>|<row|<cell|11011>|<cell|I>|<cell|>|<cell|liuz>|<cell|<math|R<rsub|hi>\<leftarrow\>d + ; R<rsub|lo>\<leftarrow\>0>>|<cell|>>|<row|<cell|11100>|<cell|I>|<cell|<em|>>|<cell|lie>|<cell|<math|R\<leftarrow\>sign_extend<rsub|8><rsup|16><around*|(|d|)>>>|<cell|(<math|d> + signé)>>|<row|<cell|11101>|<cell|>|<cell|>|<cell|<em|nop>>|<cell|>|<cell|>>|<row|<cell|11110>|<cell|>|<cell|>|<cell|<em|nop>>|<cell|>|<cell|>>|<row|<cell|11111>|<cell|>|<cell|>|<cell|nop<samp|>>|<cell|<math|\<varnothing\>>>|<cell|>>>>>|Instructions reconnues par le microproceseur> L'assembleur propose également quelques instructions \S étendues \T @@ -181,7 +183,7 @@ <associate|auto-11|<tuple|5|2>> <associate|auto-12|<tuple|4|2>> <associate|auto-13|<tuple|3|3>> - <associate|auto-14|<tuple|4|5>> + <associate|auto-14|<tuple|4|4>> <associate|auto-15|<tuple|5|?>> <associate|auto-16|<tuple|4|?>> <associate|auto-17|<tuple|5|?>> |