更新历史

2024/4/22 add 6.004 L11-L12

2024/4/21 rebuild this note site to highlight BSV

2024/4/20 add 6.004 L9-L10, 6.175 Combinational Circuits

2024/4/15 add Introduction and Resources

2024/4/14 add 6.004 L7-L8

2024/4/13 add 6.004 L5-L6

2024/3/25 add 6.004 L1-L4

markdown and highlight test

Table of contents

更新历史
markdown and highlight test
You can find the source code for Minima at GitHub
1. You can find the source code for Jekyll at GitHub
Header 1
1. Header 2

This is the base Jekyll theme. You can find out more info about customizing your Jekyll theme, as well as basic Jekyll usage documentation at jekyllrb.com

You can find the source code for Minima at GitHub

jekyll / minima

You can find the source code for Jekyll at GitHub

jekyll / jekyll

// 定义一个泛型函数，实现一个n位逐级传递加法器，输入参数是两个n位数和一个进位位
function Bit#(n+1) addN(Bit#(n) x, Bit#(n) y, Bit#(1) c0); 
  Bit#(n) s = 0; // 定义一个n位的和数变量，初始化为0
  Bit#(n+1) c = 0; // 定义一个(n+1)位的进位变量，初始化为0
  c[0] = c0; // 将输入的进位位赋给进位变量的最低位
  // 循环n次，每次处理一位加法，并处理进位
  for (Integer i=0; i<n; i=i+1) begin
    let cs = fa(x[i],y[i],c[i]); // 调用全加器函数fa处理当前位的加法和进位
    c[i+1] = cs[1]; // 将全加器返回的进位存储到进位变量的下一位
    s[i] = cs[0]; // 将全加器返回的和存储到和数变量的当前位
  end
  return {c[n],s}; // 返回一个(n+1)位的结果，最高位是最终的进位，其余位是和数
endfunction

module mkExample(Example);
    Reg#(Bit#(1)) some_state <- mkRegU;

    rule tick;
        some_state <= ~some_state;
    endrule
endmodule

module mkExample(Example);
    Reg#(Bit#(1)) some_state <- mkRegU;

    rule tick;
        some_state <= ~some_state;
    endrule
endmodule

module mkExample(Example);

Text can be bold, italic, or ~~strikethrough~~.

Link to another page.

There should be whitespace between paragraphs.

There should be whitespace between paragraphs. We recommend including a README, or a file with information about your project.

Header 1

This is a normal paragraph following a header. GitHub is a code hosting platform for version control and collaboration. It lets you and others work together on projects from anywhere.

Header 2

This is a blockquote following a header.

When something is important enough, you do it even if the odds are not in your favor.

Header 3

// Javascript code with syntax highlighting.
var fun = function lang(l) {
  dateformat.i18n = require('./lang/' + l)
  return true;
}

# Ruby code with syntax highlighting
GitHubPages::Dependencies.gems.each do |gem, version|
  s.add_dependency(gem, "= #{version}")
end

为了使网站的字体更加适合显示中文内容，我们可以调整 $body-font-family 和 $mono-font-family 变量，包含一些更适合中文显示的字体选项。下面是修改后的字体设置，增加了一些常见的中文字体，如 Microsoft YaHei（微软雅黑）和 PingFang SC（苹方）等，同时保留了一些原有的西文字体以保证兼容性和备选：

Header 4 `with code not transformed`

This is an unordered list following a header.
This is an unordered list following a header.
This is an unordered list following a header.

Header 5

This is an ordered list following a header.
This is an ordered list following a header.
This is an ordered list following a header.

Header 6

This is a very long link which wraps and therefore doesn’t overflow even when it comes at the beginning of the line.

This is a very long link which wraps and therefore doesn’t overflow the line when used first in an item in a list.

head1	head two	three
ok	good swedish fish	nice
out of stock	good and plenty	nice
ok	good `oreos`	hmm
ok	good `zoute` drop	yumm

There’s a horizontal rule below this

Here is an unordered list

Item foo
Item bar
Item baz
Item zip

And an ordered list

Item one
Item two
Item three
Item four

And an ordered list, continued

Item one
Item two

Some text

Item three
Item four

And an ordered list starting from 42

Item 42
Item 43
Item 44

And a nested list

level 1 item
- level 2 item
- level 2 item
  - level 3 item
  - level 3 item
level 1 item
- level 2 item
- level 2 item
- level 2 item
level 1 item
- level 2 item
- level 2 item
level 1 item

Nesting an ol in ul in an ol

level 1 item (ul)
1. level 2 item (ol)
2. level 2 item (ol)
  - level 3 item (ul)
  - level 3 item (ul)
level 1 item (ul)
1. level 2 item (ol)
2. level 2 item (ol)
  - level 3 item (ul)
  - level 3 item (ul)
3. level 4 item (ol)
4. level 4 item (ol)
  - level 3 item (ul)
  - level 3 item (ul)
level 1 item (ul)

And a task list

Hello, this is a TODO item
Hello, this is another TODO item
Goodbye, this item is done

Nesting task lists

Nesting a ul in a task list

level 1 item (task)
- level 2 item (ul)
- level 2 item (ul)
level 1 item (task)
level 1 item (task)

Nesting a task list in a ul

level 1 item (ul)
- level 2 item (task)
- level 2 item (task)
level 1 item (ul)
level 1 item (ul)

Small image

Large image

“Wroclaw University Library digitizing rare archival texts” by j_cadmus is marked with CC BY 2.0.

Labels

I’m a label

blue

green

purple

yellow

red

bold

italic

bold + italic

Definition lists can be used with HTML syntax

Name: Godzilla
Born: 1952
Birthplace: Japan
Color: Green

Multiple description terms and values

Term: Brief description of Term
Longer Term: Longer description of Term, possibly more than one line
Term: First description of Term, possibly more than one line; Second description of Term, possibly more than one line
Term1
Term2: Single description of Term1 and Term2, possibly more than one line
Term1
Term2: First description of Term1 and Term2, possibly more than one line; Second description of Term1 and Term2, possibly more than one line

More code

def dump_args(func):
    "This decorator dumps out the arguments passed to a function before calling it"
    argnames = func.func_code.co_varnames[:func.func_code.co_argcount]
    fname = func.func_name
    def echo_func(*args,**kwargs):
        print fname, ":", ', '.join(
            '%s=%r' % entry
            for entry in zip(argnames,args) + kwargs.items())
        return func(*args, **kwargs)
    return echo_func

@dump_args
def f1(a,b,c):
    print a + b + c

f1(1, 2, 3)

def precondition(precondition, use_conditions=DEFAULT_ON):
    return conditions(precondition, None, use_conditions)

def postcondition(postcondition, use_conditions=DEFAULT_ON):
    return conditions(None, postcondition, use_conditions)

class conditions(object):
    __slots__ = ('__precondition', '__postcondition')

    def __init__(self, pre, post, use_conditions=DEFAULT_ON):
        if not use_conditions:
            pre, post = None, None

        self.__precondition  = pre
        self.__postcondition = post

Long, single-line code blocks should not wrap. They should horizontally scroll if they are too long. This line should be long enough to demonstrate this.

Mermaid Diagrams

The following code is displayed as a diagram only when a mermaid key supplied in _config.yml.

graph TD;
    A-->B;
    A-->C;
    B-->D;
    C-->D;

Collapsed Section

The following uses the <details> tag to create a collapsed section.

Shopping list (click me!)

This is content inside a <details> dropdown.

Apples
Oranges
Milk