aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/tests/bram2_tb.v
blob: 0fe4137c677954a65759bf64cd607b82ecea69d4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
`timescale 1 ns / 1 ps

module testbench;
	reg         rd_clk;
	reg  [ 7:0] rd_addr;
	wire [17:0] rd_data;

	wire        wr_clk    = 0;
	wire        wr_enable = 0;
	wire [ 7:0] wr_addr   = 0;
	wire [17:0] wr_data   = 0;

	function [17:0] hash(input [7:0] k);
		reg [31:0] x;
		begin
			x = {k, ~k, k, ~k};
			x = x ^ (x << 13);
			x = x ^ (x >> 17);
			x = x ^ (x << 5);
			hash = x;
		end
	endfunction

	myram uut (
		.rd_clk   (rd_clk   ),
		.rd_addr  (rd_addr  ),
		.rd_data  (rd_data  ),
		.wr_clk   (wr_clk   ),
		.wr_enable(wr_enable),
		.wr_addr  (wr_addr  ),
		.wr_data  (wr_data  )
	);

	initial begin
		rd_clk = 0;
		#1000;
		forever #10 rd_clk <= ~rd_clk;
	end

	integer i;
	initial begin
		rd_addr <= 0;
		@(posedge rd_clk);
		for (i = 0; i < 256; i=i+1) begin
			rd_addr <= rd_addr + 1;
			@(posedge rd_clk);
			// $display("%3d %3d", i, rd_data);
			if (hash(i) !== rd_data) begin
				$display("[%1t] ERROR: addr=%3d, data_mem=%18b, data_ref=%18b", $time, i, rd_data, hash(i));
				$stop;
			end
		end
		$display("[%1t] Passed bram2 test.", $time);
		$finish;
	end
endmodule
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
/*
 * Copyright (C) 2010-2014 Thialfihar <thi@thialfihar.org>
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

package org.sufficientlysecure.keychain.ui;

import android.content.Context;
import android.content.Intent;
import android.os.Bundle;
import android.os.Handler;
import android.os.Message;
import android.os.Messenger;
import android.view.LayoutInflater;
import android.view.View;
import android.view.View.OnClickListener;
import android.view.ViewGroup;
import android.widget.TextView;

import org.sufficientlysecure.keychain.R;
import org.sufficientlysecure.keychain.ui.base.BaseActivity;
import org.sufficientlysecure.keychain.ui.dialog.AddKeyserverDialogFragment;
import org.sufficientlysecure.keychain.ui.util.Notify;
import org.sufficientlysecure.keychain.ui.widget.Editor;
import org.sufficientlysecure.keychain.ui.widget.Editor.EditorListener;
import org.sufficientlysecure.keychain.ui.widget.KeyServerEditor;

import java.util.Vector;

public class SettingsKeyServerActivity extends BaseActivity implements OnClickListener,
        EditorListener {

    public static final String EXTRA_KEY_SERVERS = "key_servers";

    private LayoutInflater mInflater;
    private ViewGroup mEditors;
    private View mAdd;
    private View mRotate;
    private TextView mTitle;
    private TextView mSummary;

    @Override
    public void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);

        // Inflate a "Done"/"Cancel" custom action bar view
        setFullScreenDialogDoneClose(R.string.btn_save,
                new View.OnClickListener() {
                    @Override
                    public void onClick(View v) {
                        okClicked();
                    }
                },
                new View.OnClickListener() {
                    @Override
                    public void onClick(View v) {
                        cancelClicked();
                    }
                });

        mInflater = (LayoutInflater) getSystemService(Context.LAYOUT_INFLATER_SERVICE);

        mTitle = (TextView) findViewById(R.id.title);
        mSummary = (TextView) findViewById(R.id.summary);
        mSummary.setText(getText(R.string.label_first_keyserver_is_used));

        mTitle.setText(R.string.label_keyservers);

        mEditors = (ViewGroup) findViewById(R.id.editors);
        mAdd = findViewById(R.id.add);
        mAdd.setOnClickListener(this);

        mRotate = findViewById(R.id.rotate);
        mRotate.setOnClickListener(new OnClickListener() {
            @Override
            public void onClick(View view) {
                Vector<String> servers = serverList();
                String first = servers.get(0);
                if (first != null) {
                    servers.remove(0);
                    servers.add(first);
                    String[] dummy = {};
                    makeServerList(servers.toArray(dummy));
                }
            }
        });

        Intent intent = getIntent();
        String servers[] = intent.getStringArrayExtra(EXTRA_KEY_SERVERS);
        makeServerList(servers);
    }

    @Override
    protected void initLayout() {
        setContentView(R.layout.key_server_preference);
    }

    private void makeServerList(String[] servers) {
        if (servers != null) {
            mEditors.removeAllViews();
            for (String serv : servers) {
                KeyServerEditor view = (KeyServerEditor) mInflater.inflate(
                        R.layout.key_server_editor, mEditors, false);
                view.setEditorListener(this);
                view.setValue(serv);
                mEditors.addView(view);
            }
        }
    }

    public void onDeleted(Editor editor, boolean wasNewItem) {
        // nothing to do
    }

    @Override
    public void onEdited() {

    }

    // button to add keyserver clicked
    public void onClick(View v) {
        Handler returnHandler = new Handler() {
            @Override
            public void handleMessage(Message message) {
                Bundle data = message.getData();
                switch (message.what) {
                    case AddKeyserverDialogFragment.MESSAGE_OKAY: {
                        boolean verified = data.getBoolean(AddKeyserverDialogFragment.MESSAGE_VERIFIED);
                        if (verified) {
                            Notify.create(SettingsKeyServerActivity.this,
                                    R.string.add_keyserver_verified, Notify.Style.OK).show();
                        } else {
                            Notify.create(SettingsKeyServerActivity.this,
                                    R.string.add_keyserver_without_verification,
                                    Notify.Style.WARN).show();
                        }
                        String keyserver = data.getString(AddKeyserverDialogFragment.MESSAGE_KEYSERVER);
                        addKeyserver(keyserver);
                        break;
                    }
                    case AddKeyserverDialogFragment.MESSAGE_VERIFICATION_FAILED: {
                        AddKeyserverDialogFragment.FailureReason failureReason =
                                (AddKeyserverDialogFragment.FailureReason) data.getSerializable(
                                        AddKeyserverDialogFragment.MESSAGE_FAILURE_REASON);
                        switch (failureReason) {
                            case CONNECTION_FAILED: {
                                Notify.create(SettingsKeyServerActivity.this,
                                        R.string.add_keyserver_connection_failed,
                                        Notify.Style.ERROR).show();
                                break;
                            }
                            case INVALID_URL: {
                                Notify.create(SettingsKeyServerActivity.this,
                                        R.string.add_keyserver_invalid_url,
                                        Notify.Style.ERROR).show();
                                break;
                            }
                        }
                        break;
                    }
                }
            }
        };

        // Create a new Messenger for the communication back
        Messenger messenger = new Messenger(returnHandler);
        AddKeyserverDialogFragment dialogFragment = AddKeyserverDialogFragment
                .newInstance(messenger);
        dialogFragment.show(getSupportFragmentManager(), "addKeyserverDialog");
    }

    public void addKeyserver(String keyserverUrl) {
        KeyServerEditor view = (KeyServerEditor) mInflater.inflate(R.layout.key_server_editor,
                mEditors, false);
        view.setEditorListener(this);
        view.setValue(keyserverUrl);
        mEditors.addView(view);
    }

    private void cancelClicked() {
        setResult(RESULT_CANCELED, null);
        finish();
    }

    private Vector<String> serverList() {
        Vector<String> servers = new Vector<>();
        for (int i = 0; i < mEditors.getChildCount(); ++i) {
            KeyServerEditor editor = (KeyServerEditor) mEditors.getChildAt(i);
            String tmp = editor.getValue();
            if (tmp.length() > 0) {
                servers.add(tmp);
            }
        }
        return servers;
    }

    private void okClicked() {
        Intent data = new Intent();
        Vector<String> servers = new Vector<>();
        for (int i = 0; i < mEditors.getChildCount(); ++i) {
            KeyServerEditor editor = (KeyServerEditor) mEditors.getChildAt(i);
            String tmp = editor.getValue();
            if (tmp.length() > 0) {
                servers.add(tmp);
            }
        }
        String[] dummy = new String[0];
        data.putExtra(EXTRA_KEY_SERVERS, servers.toArray(dummy));
        setResult(RESULT_OK, data);
        finish();
    }
}